Personal information

No personal information available

Activities

Collapse all

Employment (1)

Microsoft Research: Redmond, WA, US

2006-01-01 to present | Principal Researcher
Employment
Source: Self-asserted source
Daan Leijen

Works (6)

The Functional Essence of Imperative Binary Search Trees

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
DOI: 10.1145/3656398
Contributors: Anton Lorenzen; Daan Leijen; Wouter Swierstra; Sam Lindley
Source: check_circle
Crossref

Continuing WebAssembly with Effect Handlers

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
DOI: 10.1145/3622814
Contributors: Luna Phipps-Costin; Andreas Rossberg; Arjun Guha; Daan Leijen; Daniel Hillerström; KC Sivaramakrishnan; Matija Pretnar; Sam Lindley
Source: check_circle
Crossref

FP²: Fully in-Place Functional Programming

Proceedings of the ACM on Programming Languages
2023-08-30 | Journal article
DOI: 10.1145/3607840
Contributors: Anton Lorenzen; Daan Leijen; Wouter Swierstra
Source: check_circle
Crossref

Tail Recursion Modulo Context: An Equational Approach

Proceedings of the ACM on Programming Languages
2023-01-09 | Journal article
DOI: 10.1145/3571233
Contributors: Daan Leijen; Anton Lorenzen
Source: check_circle
Crossref

First-class names for effect handlers

Proceedings of the ACM on Programming Languages
2022-10-31 | Journal article
DOI: 10.1145/3563289
Contributors: Ningning Xie; Youyou Cong; Kazuki Ikemori; Daan Leijen
Source: check_circle
Crossref

Reference counting with frame limited reuse

Proceedings of the ACM on Programming Languages
2022-08-29 | Journal article
DOI: 10.1145/3547634
Contributors: Anton Lorenzen; Daan Leijen
Source: check_circle
Crossref
How many people are using ORCID?