Daan Leijen

Microsoft (United States) — United States

Computer Science · Physical Sciences

27h-index2.5kcitations98works2.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(64), Parallel Computing and Optimization Techniques(40), Formal Methods in Verification(26), Distributed systems and fault tolerance(21), Software Engineering Research(16)

Publications98 total

First-Order Laziness
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Tail recursion modulo context: An equational approach (extended version)
Journal of Functional Programming·2025Open Access
The Functional Essence of Imperative Binary Search Trees
Proceedings of the ACM on Programming Languages·2024· 6 citedOpen Access
Continuing WebAssembly with Effect Handlers
Proceedings of the ACM on Programming Languages·2023· 18 citedOpen Access
FP²: Fully in-Place Functional Programming
Proceedings of the ACM on Programming Languages·2023· 12 citedOpen Access
Continuing WebAssembly with Effect Handlers
arXiv (Cornell University)·2023· 1 citedOpen Access
Tail Recursion Modulo Context: An Equational Approach
Proceedings of the ACM on Programming Languages·2023· 9 citedOpen Access
First-class names for effect handlers
Proceedings of the ACM on Programming Languages·2022· 8 citedOpen Access
Reference counting with frame limited reuse
Proceedings of the ACM on Programming Languages·2022· 6 citedOpen Access
Sound and Complete Type Inference for Closed Effect Rows
Lecture notes in computer science·2022
Towards Efficient Adjustment of Effect Rows
Lecture notes in computer science·2022
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)
2021
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C
Proceedings of the ACM on Programming Languages·2021· 19 citedOpen Access
Perceus: garbage free reference counting with reuse
2021· 27 citedOpen Access
First-class Named Effect Handlers
2021
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
2021· 1 cited
Effect Handlers, Evidently
International Conference on Functional Programming·2020
Effect handlers, evidently
Proceedings of the ACM on Programming Languages·2020· 28 citedOpen Access
Effect handlers in Haskell, evidently
2020· 8 cited
page 1 of 5Next →

Frequent Co-authors

Sebastian Burckhardt(10), Manuel Fähndrich(6), Erik Meijer(6), Simon Peyton Jones(4), Ningning Xie(4), Sigbjørn Finne(3), Nikhil Swamy(3), Nataliya Guts(3), Michael Hicks(3), Wolfram Schulte(2), Alexandro Baldassin(2), Leonardo de Moura(2), Daniel Hillerström(2), Matthew C. Loring(2), Mark Marron(2), Michael P. Barnett(2), Francesco Logozzo(2), Anton Lorenzen(2), Erik Meijer(1), Erik Meijer(1)