Daan Leijen
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Tail recursion modulo context: an equational approach (extended version) Journal of Functional Programming | 2025-11-25 | Paper |
| Sound and complete type inference for closed effect rows Lecture Notes in Computer Science | 2023-08-03 | Paper |
| Towards efficient adjustment of effect rows Lecture Notes in Computer Science | 2023-08-03 | Paper |
| Koka: programming with row polymorphic effect types (available as arXiv preprint) | 2021-06-23 | Paper |
| Koka: programming with row polymorphic effect types | 2021-06-23 | Paper |
| Type directed compilation of row-typed algebraic effects Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Flexible types, robust type inference for first-class polymorphism Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| HMF: simple type inference for first-class polymorphism Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Qualified types for MLF Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| A type directed translation of MLF to System F Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Eventually consistent transactions Programming Languages and Systems | 2012-06-22 | Paper |
| Semantics of concurrent revisions Programming Languages and Systems | 2011-05-19 | Paper |
Research outcomes over time
This page was built for person: Daan Leijen
