Leijen, Daan

Koka: Programming with Row Polymorphic Effect Types

Leijen, D. (2014) · Electronic Proceedings in Theoretical Computer Science

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 111

HMF: simple type inference for first-class polymorphism

Leijen, D. (2008) · Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Logic, programming, and type systemsSyntax, Semantics, Linguistic Variation

Cited by 44

Perceus: garbage free reference counting with reuse

Reinking, A., Xie, N., de Moura, L., & Leijen, D. (2021) · Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Logic, programming, and type systemsParallel Computing and Optimization Techniques

Cited by 32

Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C

Xie, N., & Leijen, D. (2021) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 19

First-class names for effect handlers

Xie, N., Cong, Y., Ikemori, K., & Leijen, D. (2022) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 11

Effect handlers in Haskell, evidently

Xie, N., & Leijen, D. (2020) · Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell

Logic, programming, and type systemsDistributed systems and fault tolerance

Cited by 8

First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers

Leijen, D. (2018) · Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 3