Research output per year
Research output per year
Fingerprint
Dive into the research topics where Daan Leijen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 2 Article
-
The functional essence of imperative binary search trees
Lorenzen, A., Leijen, D., Swierstra, W. & Lindley, S., 20 Jun 2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 518-542 25 p., 168.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Continuing WebAssembly with Effect Handlers
Phipps-Costin, L., Rossberg, A., Guha, A., Leijen, D., Hillerström, D., Sivaramakrishnan, K. C., Pretnar, M. & Lindley, S., 16 Oct 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, p. 460-485 26 p., 238.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Datasets
-
[CODE] The Functional Essence of Imperative Binary Search Trees (Artifact)
Lorenzen, A. (Creator), Leijen, D. (Creator), Swierstra, W. (Creator) & Lindley, S. (Creator), Zenodo, 6 Mar 2024
Dataset