Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
Published by Microsoft
A Fresh Look at Static Overloading. This is an initial draft, any feedback is welcome.
Daan Leijen
Principal Researcher
Publications
Publications by Year
-
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
Published by 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
Published by 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
Published by 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
Published by 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
Published by Microsoft
-
Reference Counting with Frame Limited Reuse (extended version, v2)
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
Published by 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, Vol 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
Published by 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
Published by 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
Published by 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
Published by 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
Published by 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
Published by 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
Editor(s): 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
Published by Microsoft
Increasing Human-Tool Interaction via the Web
Thomas Ball, 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
PhD Thesis: 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)
Publications by Research Area
-
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)
Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
Published by Microsoft
A Fresh Look at Static Overloading. This is an initial draft, any feedback is welcome.
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
Published by 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
Published by 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
Published by 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
Published by 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
Published by Microsoft
Reference Counting with Frame Limited Reuse (extended version, v2)
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
Published by 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, Vol 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
Published by 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
Published by 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
Published by 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
Published by 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
Published by 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
Published by 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
Editor(s): 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
Published by Microsoft
Increasing Human-Tool Interaction via the Web
Thomas Ball, 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)
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
PhD Thesis: 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, 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
-
Qualified types for MLF
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
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
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
Publications by Type
-
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
Principal Type Inference under a Prefix
Daan Leijen, Wenjia Ye
MSR-TR-2024-34 | September 2024
Published by Microsoft
A Fresh Look at Static Overloading. This is an initial draft, any feedback is welcome.
Qualified Effect Types — Taming Control-Flow through Linear Effect Handlers
Jonathan Immanuel Brachthäuser, Daan Leijen
MSR-TR-2023-42 | November 2023
Published by 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
Published by 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
Published by 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
Published by 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
Published by Microsoft
Reference Counting with Frame Limited Reuse (extended version, v2)
Anton Lorenzen, Daan Leijen
MSR-TR-2021-30 | November 2021
Published by Microsoft
Mar 15, 2022, v2
First-class Named Effect Handlers
Ningning Xie, Youyou Cong, Daan Leijen
MSR-TR-2021-10 | May 2021
Published by 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
Published by 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
Published by 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
Published by 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
Published by 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
Published by 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
Published by 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)
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
Editor(s): 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, 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)
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
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)
Qualified types for MLF
Daan Leijen, Andres Löh
The International Conference on Functional Programming (ICFP'05) | September 2005
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
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, Vol 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
PhD Thesis: Dept. of Computer Science, Universiteit Utrecht | November 2003
-
Division and Modulus for Computer Scientists
July 2003
Short note about division definitions in programming languages