Syntactic Implicit Parameters with Static Overloading (Extended Version)
Daan Leijen, Tim Whiting
MSR-TR-2025-56 | November 2025
作者：Microsoft
v2 (2025-11-28)
Daan Leijen
Senior Principal Researcher
论文与出版物
-
-
-
First-Order Laziness
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
ICFP'25 | August 2025
Distinguished Paper
-
Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
PLDI'25 | June 2025
Distinguished Paper
"A Fresh Look at Static Overloading". See also the accompanying technical report.
-
-
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
作者：Microsoft
A Fresh Look at Static Overloading. Updated 2025-12-01, v8. Extended version of the PLDI'25 paper.
-
The Functional Essence of Imperative Binary Search Trees
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
PLDI'24 | June 2024
-
Tail Recursion Modulo Context: An Equational Approach (extended version)
Daan Leijen, Anton Lorenzen
under submission to JFP. | May 2024
This is an extended version of the POPL'23 publication under submission to a special issue of the Journal of Functional Programming (JFP). Extended topics include an improved TRMC algorithm, composing contexts, _field_ contexts, and first-class constructor contexts.
-
-
-
Qualified Effect Types — Taming Control-Flow through Linear Effect Handlers
Jonathan Immanuel Brachthäuser, Daan Leijen
MSR-TR-2023-42 | November 2023
作者：Microsoft
This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
-
Continuing WebAssembly with Effect Handlers
LUNA PHIPPS-COSTIN, ANDREAS ROSSBERG, ARJUN GUHA, Daan Leijen, DANIEL HILLERSTRÖM, KC SIVARAMAKRISHNAN, MATIJA PRETNAR, SAM LINDLEY
OOPSLA'23 | October 2023
-
FP$^2$: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
-
Exploring Perceus for OCaml
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
-
The Functional Essence of Imperative Binary Search Trees
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
MSR-TR-2023-28 | July 2023
作者：Microsoft
v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms") This is an extended version of the PLDI'24 publication.
-
FP^2: Fully in-Place Functional Programming (TR)
Anton Lorenzen, Daan Leijen, Wouter Swierstra
MSR-TR-2023-19 | May 2023
作者：Microsoft
Extended version of the ICFP'23 publication
-
Tail Recursion Modulo Context: An Equational Approach
Daan Leijen, Anton Lorenzen
POPL'23 | January 2023
-
-
-
Reference counting with frame limited reuse
Anton Lorenzen, Daan Leijen
ICFP'22 | August 2022
-
What About the Integer Numbers? Fast Arithmetic with Tagged Integers — A Plea for Hardware Support
MSR-TR-2022-17 | July 2022
作者：Microsoft
Presented at ML language workshop 2022 (co-located with ICFP'22).
-
Tail Recursion Modulo Context — An Equational Approach
Daan Leijen, Anton Lorenzen
MSR-TR-2022-18 | July 2022
作者：Microsoft
-
-
-
Reference Counting with Frame Limited Reuse (extended version, v2)
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
作者：Microsoft
Mar 15, 2022, v2
-
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)
Ningning Xie, Daan Leijen
Proc. ACM Prog. Lang. (ICFP'21) | August 2021, 第 5 卷(ICFP): pp. 71
doi: 10.1145/3473576
-
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
(*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
-
First-class Named Effect Handlers
Ningning Xie, Youyou Cong, Daan Leijen
MSR-TR-2021-10 | May 2021
作者：Microsoft
Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
-
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
Ningning Xie, Daan Leijen
MSR-TR-2021-5 | March 2021
作者：Microsoft
v4, 2021-06-07. Extended version of the ICFP'21 paper.
-
-
-
Perceus: Garbage Free Reference Counting with Reuse (Extended version)
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
MSR-TR-2020-42 | November 2020
作者：Microsoft
(*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
-
Effect Handlers in Haskell, Evidently
Ningning Xie, Daan Leijen
The 13th ACM SIGPLAN International Haskell Symposium | August 2020
-
Effect Handlers, Evidently
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
-
Effect Handlers, Evidently (Extended Version)
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
MSR-TR-2020-23 | July 2020
作者：Microsoft
Extended version of the ICFP'20 article.
-
-
-
Mimalloc: Free List Sharding in Action
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
作者：Microsoft
-
Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping)
Jonathan Brachthauser, Daan Leijen
MSR-TR-2019-7 | March 2019
作者：Microsoft
Submitted to ICFP'19
-
-
-
Algebraic Effect Handlers with Resources and Deep Finalization
MSR-TR-2018-10 | April 2018
-
-
-
Implementing Algebraic Effects in C
APLAS'17, Asian Symposium on Programming Languages and Systems | November 2017
编辑: Chang, Bor-Yuh Evan
-
Semantics of Asynchronous JavaScript
Matthew C. Loring, Mark Marron, Daan Leijen
DLS '17 - Proceedings of 13th ACM SIGPLAN International Symposium on Dynamic Languages | July 2017
-
Implementing Algebraic Effects in C
MSR-TR-2017-23 | June 2017
-
Structured Asynchrony with Algebraic Effects
MSR-TR-2017-21 | May 2017
-
Type Directed Compilation of Row-Typed Algebraic Effects
Proceedings of Principles of Programming Languages (POPL'17), Paris, France | January 2017
-
-
-
Algebraic Effects for Functional Programming
MSR-TR-2016-29 | August 2016
-
Rendering Mathematics for the Web using Madoko
Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
-
-
-
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
-
-
-
Koka: Programming with Row Polymorphic Effect Types
Mathematically Structured Functional Programming 2014 | March 2014
-
Cloud Types: Robust Abstractions for Replicated Shared State
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
-
-
-
Koka: Programming with Row-Polymorphic Effect Types
MSR-TR-2013-79 | August 2013
作者：Microsoft
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
-
-
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
-
Integrating a Set of Contract Checking Tools into Visual Studio
Manuel Fahndrich, Mike Barnett, Daan Leijen, Francesco Logozzo
Proceedings, Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012) | June 2012
-
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
-
-
-
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
-
Eventually Consistent Transactions (full version)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
-
Prettier Concurrency: Purely Functional Concurrent Revisions
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
-
Lightweight Monadic Programming in ML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Proceedings of the International Conference of Functional Programming (ICFP'11) | July 2011
Proceedings of the International Conference of Functional Programming (ICFP'11)
-
Lightweight Monadic Programming in ML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
MSR-TR-2011-39 | March 2011
-
Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
-
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
-
-
-
A Preliminary Survey on Functional Programming
MSR-TR-2010-147 | November 2010
-
Concurrent Programming with Revisions and Isolation Types
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
-
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
-
A Flexible Semantic Framework for Effects
Ross Tate, Daan Leijen, Sorin Lerner
July 2010
Unpublished.
-
Convenient Explicit Effects using Type Inference with Subeffects
Daan Leijen, Ross Tate
MSR-TR-2010-80 | June 2010
-
-
-
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
-
Flexible types: robust type inference for first-class polymorphism
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09) | January 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
-
-
-
HMF: Simple Type Inference for First-Class Polymorphism
13th ACM symp. of the International Conference on Functional Programming (ICFP'08) | September 2008
13th ACM symp. of the International Conference on Functional Programming (ICFP'08)
-
Flexible types: robust type inference for first-class polymorphism
MSR-TR-2008-55 | March 2008
-
-
-
HMF: Simple Type Inference for First-Class Polymorphism
MSR-TR-2007-118 | October 2007
-
A Type Directed Translation from MLF to System F
Proceedings of the ACM International Conference on Functional Programming (ICFP'07) | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07)
-
-
-
Extensible records with scoped labels
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia | September 2005
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia
-
Qualified types for MLF
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
-
-
-
First-class labels for extensible rows
UU-CS-2004-51 | December 2004
UTCS Technical Report
-
Functioneel Programmeren met Helium
Bastiaan Heeren, Daan Leijen
NIOC'2004 | November 2004
NIOC'2004
-
wxHaskell – A Portable and Concise GUI Library For Haskell
ACM SIGPLAN Haskell Workshop (Haskell'04), Snowbird, Utah | September 2004
Snowbird, Utah
-
-
-
The λ Abroad – A Functional Approach to Software Components
November 2003
博士论文：Dept. of Computer Science, Universiteit Utrecht | November 2003
-
Helium, for Learning Haskell
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden | August 2003
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden
-
Division and Modulus for Computer Scientists
July 2003
Short note about division definitions in programming languages
-
-
-
Parsec: Direct Style Monadic Parser Combinators for the Real World
Daan Leijen, Erik Meijer
UU-CS-2001-27 | July 2001
User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007
-
-
-
Calling Hell from Heaven and Heaven from Hell
Simon Peyton Jones, Erik Meijer, Daan Leijen, Sigbjörn Finne
The International Conference on Functional Programming (ICFP'99), Paris, France | September 1999
Also appeared in ACM SIGPLAN Notices 34, 9, (Sep. 1999)
-
-
-
Parsec: Direct Style Monadic Parser Combinators for the Real World
Daan Leijen, Erik Meijer
UU-CS-2001-27 | July 2001
User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007
-
Calling Hell from Heaven and Heaven from Hell
Simon Peyton Jones, Erik Meijer, Daan Leijen, Sigbjörn Finne
The International Conference on Functional Programming (ICFP'99), Paris, France | September 1999
Also appeared in ACM SIGPLAN Notices 34, 9, (Sep. 1999)
-
Syntactic Implicit Parameters with Static Overloading (Extended Version)
Daan Leijen, Tim Whiting
MSR-TR-2025-56 | November 2025
作者：Microsoft
v2 (2025-11-28)
-
First-Order Laziness
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
ICFP'25 | August 2025
Distinguished Paper
-
Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
PLDI'25 | June 2025
Distinguished Paper
"A Fresh Look at Static Overloading". See also the accompanying technical report.
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
作者：Microsoft
A Fresh Look at Static Overloading. Updated 2025-12-01, v8. Extended version of the PLDI'25 paper.
-
The Functional Essence of Imperative Binary Search Trees
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
PLDI'24 | June 2024
-
Tail Recursion Modulo Context: An Equational Approach (extended version)
Daan Leijen, Anton Lorenzen
under submission to JFP. | May 2024
This is an extended version of the POPL'23 publication under submission to a special issue of the Journal of Functional Programming (JFP). Extended topics include an improved TRMC algorithm, composing contexts, _field_ contexts, and first-class constructor contexts.
-
Qualified Effect Types — Taming Control-Flow through Linear Effect Handlers
Jonathan Immanuel Brachthäuser, Daan Leijen
MSR-TR-2023-42 | November 2023
作者：Microsoft
This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
-
Continuing WebAssembly with Effect Handlers
LUNA PHIPPS-COSTIN, ANDREAS ROSSBERG, ARJUN GUHA, Daan Leijen, DANIEL HILLERSTRÖM, KC SIVARAMAKRISHNAN, MATIJA PRETNAR, SAM LINDLEY
OOPSLA'23 | October 2023
-
FP$^2$: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
-
Exploring Perceus for OCaml
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
-
The Functional Essence of Imperative Binary Search Trees
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
MSR-TR-2023-28 | July 2023
作者：Microsoft
v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms") This is an extended version of the PLDI'24 publication.
-
FP^2: Fully in-Place Functional Programming (TR)
Anton Lorenzen, Daan Leijen, Wouter Swierstra
MSR-TR-2023-19 | May 2023
作者：Microsoft
Extended version of the ICFP'23 publication
-
Tail Recursion Modulo Context: An Equational Approach
Daan Leijen, Anton Lorenzen
POPL'23 | January 2023
-
Reference counting with frame limited reuse
Anton Lorenzen, Daan Leijen
ICFP'22 | August 2022
-
What About the Integer Numbers? Fast Arithmetic with Tagged Integers — A Plea for Hardware Support
MSR-TR-2022-17 | July 2022
作者：Microsoft
Presented at ML language workshop 2022 (co-located with ICFP'22).
-
Tail Recursion Modulo Context — An Equational Approach
Daan Leijen, Anton Lorenzen
MSR-TR-2022-18 | July 2022
作者：Microsoft
-
Reference Counting with Frame Limited Reuse (extended version, v2)
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
作者：Microsoft
Mar 15, 2022, v2
-
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)
Ningning Xie, Daan Leijen
Proc. ACM Prog. Lang. (ICFP'21) | August 2021, 第 5 卷(ICFP): pp. 71
doi: 10.1145/3473576
-
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
(*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
-
First-class Named Effect Handlers
Ningning Xie, Youyou Cong, Daan Leijen
MSR-TR-2021-10 | May 2021
作者：Microsoft
Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
-
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
Ningning Xie, Daan Leijen
MSR-TR-2021-5 | March 2021
作者：Microsoft
v4, 2021-06-07. Extended version of the ICFP'21 paper.
-
Perceus: Garbage Free Reference Counting with Reuse (Extended version)
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
MSR-TR-2020-42 | November 2020
作者：Microsoft
(*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
-
Effect Handlers in Haskell, Evidently
Ningning Xie, Daan Leijen
The 13th ACM SIGPLAN International Haskell Symposium | August 2020
-
Effect Handlers, Evidently
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
-
Effect Handlers, Evidently (Extended Version)
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
MSR-TR-2020-23 | July 2020
作者：Microsoft
Extended version of the ICFP'20 article.
-
Mimalloc: Free List Sharding in Action
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
作者：Microsoft
-
Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping)
Jonathan Brachthauser, Daan Leijen
MSR-TR-2019-7 | March 2019
作者：Microsoft
Submitted to ICFP'19
-
Algebraic Effect Handlers with Resources and Deep Finalization
MSR-TR-2018-10 | April 2018
-
Implementing Algebraic Effects in C
APLAS'17, Asian Symposium on Programming Languages and Systems | November 2017
编辑: Chang, Bor-Yuh Evan
-
Semantics of Asynchronous JavaScript
Matthew C. Loring, Mark Marron, Daan Leijen
DLS '17 - Proceedings of 13th ACM SIGPLAN International Symposium on Dynamic Languages | July 2017
-
Implementing Algebraic Effects in C
MSR-TR-2017-23 | June 2017
-
Structured Asynchrony with Algebraic Effects
MSR-TR-2017-21 | May 2017
-
Type Directed Compilation of Row-Typed Algebraic Effects
Proceedings of Principles of Programming Languages (POPL'17), Paris, France | January 2017
-
Algebraic Effects for Functional Programming
MSR-TR-2016-29 | August 2016
-
Rendering Mathematics for the Web using Madoko
Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
-
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
-
Koka: Programming with Row Polymorphic Effect Types
Mathematically Structured Functional Programming 2014 | March 2014
-
Cloud Types: Robust Abstractions for Replicated Shared State
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
-
Koka: Programming with Row-Polymorphic Effect Types
MSR-TR-2013-79 | August 2013
作者：Microsoft
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
-
Integrating a Set of Contract Checking Tools into Visual Studio
Manuel Fahndrich, Mike Barnett, Daan Leijen, Francesco Logozzo
Proceedings, Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012) | June 2012
-
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
-
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
-
Eventually Consistent Transactions (full version)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
-
Prettier Concurrency: Purely Functional Concurrent Revisions
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
-
Lightweight Monadic Programming in ML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Proceedings of the International Conference of Functional Programming (ICFP'11) | July 2011
Proceedings of the International Conference of Functional Programming (ICFP'11)
-
Lightweight Monadic Programming in ML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
MSR-TR-2011-39 | March 2011
-
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
-
Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
-
A Preliminary Survey on Functional Programming
MSR-TR-2010-147 | November 2010
-
Concurrent Programming with Revisions and Isolation Types
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
-
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
-
A Flexible Semantic Framework for Effects
Ross Tate, Daan Leijen, Sorin Lerner
July 2010
Unpublished.
-
Convenient Explicit Effects using Type Inference with Subeffects
Daan Leijen, Ross Tate
MSR-TR-2010-80 | June 2010
-
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
-
Flexible types: robust type inference for first-class polymorphism
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09) | January 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
-
HMF: Simple Type Inference for First-Class Polymorphism
13th ACM symp. of the International Conference on Functional Programming (ICFP'08) | September 2008
13th ACM symp. of the International Conference on Functional Programming (ICFP'08)
-
Flexible types: robust type inference for first-class polymorphism
MSR-TR-2008-55 | March 2008
-
HMF: Simple Type Inference for First-Class Polymorphism
MSR-TR-2007-118 | October 2007
-
A Type Directed Translation from MLF to System F
Proceedings of the ACM International Conference on Functional Programming (ICFP'07) | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07)
-
wxHaskell – A Portable and Concise GUI Library For Haskell
ACM SIGPLAN Haskell Workshop (Haskell'04), Snowbird, Utah | September 2004
Snowbird, Utah
-
The λ Abroad – A Functional Approach to Software Components
November 2003
博士论文：Dept. of Computer Science, Universiteit Utrecht | November 2003
-
Helium, for Learning Haskell
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden | August 2003
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden
-
-
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
A Preliminary Survey on Functional Programming
MSR-TR-2010-147 | November 2010
-
-
-
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
-
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
-
Functioneel Programmeren met Helium
Bastiaan Heeren, Daan Leijen
NIOC'2004 | November 2004
NIOC'2004
-
-
-
Extensible records with scoped labels
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia | September 2005
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia
-
Qualified types for MLF
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
-
First-class labels for extensible rows
UU-CS-2004-51 | December 2004
UTCS Technical Report
-
-
-
First-class labels for extensible rows
UU-CS-2004-51 | December 2004
UTCS Technical Report
-
-
-
Division and Modulus for Computer Scientists
July 2003
Short note about division definitions in programming languages
-
-
-
Parsec: Direct Style Monadic Parser Combinators for the Real World
Daan Leijen, Erik Meijer
UU-CS-2001-27 | July 2001
User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007
-
Syntactic Implicit Parameters with Static Overloading (Extended Version)
Daan Leijen, Tim Whiting
MSR-TR-2025-56 | November 2025
作者：Microsoft
v2 (2025-11-28)
-
Principal Type Inference under a Prefix (TR)
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
作者：Microsoft
A Fresh Look at Static Overloading. Updated 2025-12-01, v8. Extended version of the PLDI'25 paper.
-
Qualified Effect Types — Taming Control-Flow through Linear Effect Handlers
Jonathan Immanuel Brachthäuser, Daan Leijen
MSR-TR-2023-42 | November 2023
作者：Microsoft
This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
-
The Functional Essence of Imperative Binary Search Trees
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
MSR-TR-2023-28 | July 2023
作者：Microsoft
v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms") This is an extended version of the PLDI'24 publication.
-
FP^2: Fully in-Place Functional Programming (TR)
Anton Lorenzen, Daan Leijen, Wouter Swierstra
MSR-TR-2023-19 | May 2023
作者：Microsoft
Extended version of the ICFP'23 publication
-
What About the Integer Numbers? Fast Arithmetic with Tagged Integers — A Plea for Hardware Support
MSR-TR-2022-17 | July 2022
作者：Microsoft
Presented at ML language workshop 2022 (co-located with ICFP'22).
-
Tail Recursion Modulo Context — An Equational Approach
Daan Leijen, Anton Lorenzen
MSR-TR-2022-18 | July 2022
作者：Microsoft
-
Reference Counting with Frame Limited Reuse (extended version, v2)
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
作者：Microsoft
Mar 15, 2022, v2
-
First-class Named Effect Handlers
Ningning Xie, Youyou Cong, Daan Leijen
MSR-TR-2021-10 | May 2021
作者：Microsoft
Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
-
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
Ningning Xie, Daan Leijen
MSR-TR-2021-5 | March 2021
作者：Microsoft
v4, 2021-06-07. Extended version of the ICFP'21 paper.
-
Perceus: Garbage Free Reference Counting with Reuse (Extended version)
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
MSR-TR-2020-42 | November 2020
作者：Microsoft
(*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
-
Effect Handlers, Evidently (Extended Version)
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
MSR-TR-2020-23 | July 2020
作者：Microsoft
Extended version of the ICFP'20 article.
-
Mimalloc: Free List Sharding in Action
Daan Leijen, Ben Zorn, Leonardo de Moura
MSR-TR-2019-18 | June 2019
作者：Microsoft
-
Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping)
Jonathan Brachthauser, Daan Leijen
MSR-TR-2019-7 | March 2019
作者：Microsoft
Submitted to ICFP'19
-
Algebraic Effect Handlers with Resources and Deep Finalization
MSR-TR-2018-10 | April 2018
-
Implementing Algebraic Effects in C
MSR-TR-2017-23 | June 2017
-
Structured Asynchrony with Algebraic Effects
MSR-TR-2017-21 | May 2017
-
Algebraic Effects for Functional Programming
MSR-TR-2016-29 | August 2016
-
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
-
Cloud Types: Robust Abstractions for Replicated Shared State
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
-
Koka: Programming with Row-Polymorphic Effect Types
MSR-TR-2013-79 | August 2013
作者：Microsoft
-
Eventually Consistent Transactions (full version)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
-
Lightweight Monadic Programming in ML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
MSR-TR-2011-39 | March 2011
-
A Preliminary Survey on Functional Programming
MSR-TR-2010-147 | November 2010
-
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
-
Convenient Explicit Effects using Type Inference with Subeffects
Daan Leijen, Ross Tate
MSR-TR-2010-80 | June 2010
-
Flexible types: robust type inference for first-class polymorphism
MSR-TR-2008-55 | March 2008
-
HMF: Simple Type Inference for First-Class Polymorphism
MSR-TR-2007-118 | October 2007
-
First-class labels for extensible rows
UU-CS-2004-51 | December 2004
UTCS Technical Report
-
-
-
Calling Hell from Heaven and Heaven from Hell
Simon Peyton Jones, Erik Meijer, Daan Leijen, Sigbjörn Finne
The International Conference on Functional Programming (ICFP'99), Paris, France | September 1999
Also appeared in ACM SIGPLAN Notices 34, 9, (Sep. 1999)
-
First-Order Laziness
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
ICFP'25 | August 2025
Distinguished Paper
-
Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
PLDI'25 | June 2025
Distinguished Paper
"A Fresh Look at Static Overloading". See also the accompanying technical report.
-
The Functional Essence of Imperative Binary Search Trees
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
PLDI'24 | June 2024
-
Continuing WebAssembly with Effect Handlers
LUNA PHIPPS-COSTIN, ANDREAS ROSSBERG, ARJUN GUHA, Daan Leijen, DANIEL HILLERSTRÖM, KC SIVARAMAKRISHNAN, MATIJA PRETNAR, SAM LINDLEY
OOPSLA'23 | October 2023
-
FP$^2$: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
-
Tail Recursion Modulo Context: An Equational Approach
Daan Leijen, Anton Lorenzen
POPL'23 | January 2023
-
Reference counting with frame limited reuse
Anton Lorenzen, Daan Leijen
ICFP'22 | August 2022
-
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
(*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
-
Effect Handlers in Haskell, Evidently
Ningning Xie, Daan Leijen
The 13th ACM SIGPLAN International Haskell Symposium | August 2020
-
Effect Handlers, Evidently
Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
-
Implementing Algebraic Effects in C
APLAS'17, Asian Symposium on Programming Languages and Systems | November 2017
编辑: Chang, Bor-Yuh Evan
-
Semantics of Asynchronous JavaScript
Matthew C. Loring, Mark Marron, Daan Leijen
DLS '17 - Proceedings of 13th ACM SIGPLAN International Symposium on Dynamic Languages | July 2017
-
Type Directed Compilation of Row-Typed Algebraic Effects
Proceedings of Principles of Programming Languages (POPL'17), Paris, France | January 2017
-
Rendering Mathematics for the Web using Madoko
Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
-
Koka: Programming with Row Polymorphic Effect Types
Mathematically Structured Functional Programming 2014 | March 2014
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
Cloud Types for Eventual Consistency
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
-
Integrating a Set of Contract Checking Tools into Visual Studio
Manuel Fahndrich, Mike Barnett, Daan Leijen, Francesco Logozzo
Proceedings, Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012) | June 2012
-
Eventually Consistent Transactions
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
-
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
-
Prettier Concurrency: Purely Functional Concurrent Revisions
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
-
Lightweight Monadic Programming in ML
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Proceedings of the International Conference of Functional Programming (ICFP'11) | July 2011
Proceedings of the International Conference of Functional Programming (ICFP'11)
-
Semantics of Concurrent Revisions
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
-
Roll Forward, Not Back: A Case for Deterministic Conflict Resolution
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
-
Concurrent Programming with Revisions and Isolation Types
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
-
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
-
Flexible types: robust type inference for first-class polymorphism
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09) | January 2009
36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
-
HMF: Simple Type Inference for First-Class Polymorphism
13th ACM symp. of the International Conference on Functional Programming (ICFP'08) | September 2008
13th ACM symp. of the International Conference on Functional Programming (ICFP'08)
-
A Type Directed Translation from MLF to System F
Proceedings of the ACM International Conference on Functional Programming (ICFP'07) | October 2007
Proceedings of the ACM International Conference on Functional Programming (ICFP'07)
-
Extensible records with scoped labels
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia | September 2005
Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia
-
Qualified types for MLF
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
-
Functioneel Programmeren met Helium
Bastiaan Heeren, Daan Leijen
NIOC'2004 | November 2004
NIOC'2004
-
wxHaskell – A Portable and Concise GUI Library For Haskell
ACM SIGPLAN Haskell Workshop (Haskell'04), Snowbird, Utah | September 2004
Snowbird, Utah
-
Helium, for Learning Haskell
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden | August 2003
Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden
-
-
-
Tail Recursion Modulo Context: An Equational Approach (extended version)
Daan Leijen, Anton Lorenzen
under submission to JFP. | May 2024
This is an extended version of the POPL'23 publication under submission to a special issue of the Journal of Functional Programming (JFP). Extended topics include an improved TRMC algorithm, composing contexts, _field_ contexts, and first-class constructor contexts.
-
Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)
Ningning Xie, Daan Leijen
Proc. ACM Prog. Lang. (ICFP'21) | August 2021, 第 5 卷(ICFP): pp. 71
doi: 10.1145/3473576
-
-
-
Exploring Perceus for OCaml
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
-
A Flexible Semantic Framework for Effects
Ross Tate, Daan Leijen, Sorin Lerner
July 2010
Unpublished.
-
-
-
The λ Abroad – A Functional Approach to Software Components
November 2003
博士论文：Dept. of Computer Science, Universiteit Utrecht | November 2003
-
-
-
Division and Modulus for Computer Scientists
July 2003
Short note about division definitions in programming languages
-