Publications

Concurrent Revisions

Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, and Thomas Ball, Two for the Price of One: A Model for Parallel and Incremental Computation, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11), ACM SIGPLAN, Portland, Oregon, 22 October 2011

Daan Leijen, Sebastian Burckhardt, and Manuel Fahndrich, Prettier Concurrency: Purely Functional Concurrent Revisions, in Haskell Symposium 2011 (Haskell'11), ACM SIGPLAN, Tokyo, Japan, 7 July 2011

Sebastian Burckhardt and Daan Leijen, Semantics of Concurrent Revisions, in European Symposium on Programming (ESOP'11), Springer Verlag, Saarbrucken, Germany, March 2011

Sebastian Burckhardt, Daan Leijen, and Manuel Fahndrich, Roll Forward, Not Back: A Case for Deterministic Conflict Resolution, in The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11), Newbeach, California, March 2011

Sebastian Burckhardt, Alexandro Baldassion, and Daan Leijen, Concurrent Programming with Revisions and Isolation Types, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), ACM SIGPLAN, Reno, NV, October 2010

Daan Leijen, Wolfram Schulte, and Sebastian Burkhardt, The Design of a Task Parallel Library, in Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09), ACM SIGPLAN, Atlanta, FL, September 2009

Effects

Daan Leijen, Koka: Programming with Row-Polymorphic Effect Types, no. MSR-TR-2013-79, 28 August 2013

Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks, Lightweight Monadic Programming in ML, in Proceedings of the International Conference of Functional Programming (ICFP'11), ACM SIGPLAN, Tokyo, Japan, 1 July 2011

Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks, Lightweight Monadic Programming in ML, no. MSR-TR-2011-39, 24 March 2011

Ross Tate, Daan Leijen, and Sorin Lerner, A Flexible Semantic Framework for Effects , July 2010

Daan Leijen and Ross Tate, Convenient Explicit Effects using Type Inference with Subeffects, no. MSR-TR-2010-80, 22 June 2010

Inference for first-class polymorphism

The following papers on HML and HMF both describe two interesting corners in the design space of type inference systems for first-class polymorphism:

Daan Leijen, Flexible types: robust type inference for first-class polymorphism, in 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09), ACM SIGPLAN, Savannah, Georgia, January 2009

Daan Leijen, HMF: Simple Type Inference for First-Class Polymorphism, in 13th ACM symp. of the International Conference on Functional Programming (ICFP'08), Association for Computing Machinery, Inc., Victoria, BC, Canada, September 2008

Daan Leijen, Flexible types: robust type inference for first-class polymorphism, no. MSR-TR-2008-55, March 2008

Daan Leijen, HMF: Simple Type Inference for First-Class Polymorphism, no. MSR-TR-2007-118, 30 October 2007

Daan Leijen, A Type Directed Translation from MLF to System F, in Proceedings of the ACM International Conference on Functional Programming (ICFP'07), ACM SIGPLAN, Freiburg, Germany, 1 October 2007

Daan Leijen and Andres Löh, Qualified types for MLF, in The International Conference on Functional Programming (ICFP'05), ACM SIGPLAN, Tallin, Estonia, September 2005

All publications

2014

Daan Leijen, Koka: Programming with Row Polymorphic Effect Types, in Mathematically Structured Functional Programming 2014, EPTCS, 18 March 2014

Sebastian Burckhardt, Daan Leijen, and Manuel Fahndrich, Cloud Types: Robust Abstractions for Replicated Shared State, no. MSR-TR-2014-43, March 2014

2013

Daan Leijen, Koka: Programming with Row-Polymorphic Effect Types, no. MSR-TR-2013-79, 28 August 2013

Thomas Ball, Peli de Halleux, Daan Leijen, and Nikhil Swamy, Increasing Human-Tool Interaction via the Web, in 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, ACM, June 2013

2012

Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Benjamin P. Wood, Cloud Types for Eventual Consistency, in Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP), Springer, 15 June 2012

Manuel Fahndrich, Michael Barnett, Daan Leijen, and Francesco Logozzo, Integrating a Set of Contract Checking Tools into Visual Studio, in Proceedings of the 2012 Second International Workshop on Developing Tools as Plug-ins (TOPI 2012), IEEE, 3 June 2012

Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Mooly Sagiv, Eventually Consistent Transactions, in Proceedings of the 22n European Symposium on Programming (ESOP), Springer, 24 March 2012

2011

Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, and Thomas Ball, Two for the Price of One: A Model for Parallel and Incremental Computation, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11), ACM SIGPLAN, Portland, Oregon, 22 October 2011

Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Mooly Sagiv, Eventually Consistent Transactions (full version), no. MSR-TR-2011-117, October 2011

Daan Leijen, Sebastian Burckhardt, and Manuel Fahndrich, Prettier Concurrency: Purely Functional Concurrent Revisions, in Haskell Symposium 2011 (Haskell'11), ACM SIGPLAN, Tokyo, Japan, 7 July 2011

Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks, Lightweight Monadic Programming in ML, in Proceedings of the International Conference of Functional Programming (ICFP'11), ACM SIGPLAN, Tokyo, Japan, 1 July 2011

Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks, Lightweight Monadic Programming in ML, no. MSR-TR-2011-39, 24 March 2011

Sebastian Burckhardt, Daan Leijen, and Manuel Fahndrich, Roll Forward, Not Back: A Case for Deterministic Conflict Resolution, in The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11), Newbeach, California, March 2011

Sebastian Burckhardt and Daan Leijen, Semantics of Concurrent Revisions, in European Symposium on Programming (ESOP'11), Springer Verlag, Saarbrucken, Germany, March 2011

2010

Caitlin Sadowski and Daan Leijen, A Preliminary Survey on Functional Programming, no. MSR-TR-2010-147, 12 November 2010

Sebastian Burckhardt, Alexandro Baldassion, and Daan Leijen, Concurrent Programming with Revisions and Isolation Types, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), ACM SIGPLAN, Reno, NV, October 2010

Sebastian Burckhardt and Daan Leijen, Semantics of Concurrent Revisions, no. MSR-TR-2010-94, 15 July 2010

Ross Tate, Daan Leijen, and Sorin Lerner, A Flexible Semantic Framework for Effects , July 2010

Daan Leijen and Ross Tate, Convenient Explicit Effects using Type Inference with Subeffects, no. MSR-TR-2010-80, 22 June 2010

2009

Daan Leijen, Wolfram Schulte, and Sebastian Burkhardt, The Design of a Task Parallel Library, in Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09), ACM SIGPLAN, Atlanta, FL, September 2009

Daan Leijen, Flexible types: robust type inference for first-class polymorphism, in 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09), ACM SIGPLAN, Savannah, Georgia, January 2009

2008

Daan Leijen, HMF: Simple Type Inference for First-Class Polymorphism, in 13th ACM symp. of the International Conference on Functional Programming (ICFP'08), Association for Computing Machinery, Inc., Victoria, BC, Canada, September 2008

Daan Leijen, Flexible types: robust type inference for first-class polymorphism, no. MSR-TR-2008-55, March 2008

2007

Daan Leijen, HMF: Simple Type Inference for First-Class Polymorphism, no. MSR-TR-2007-118, 30 October 2007

Daan Leijen, A Type Directed Translation from MLF to System F, in Proceedings of the ACM International Conference on Functional Programming (ICFP'07), ACM SIGPLAN, Freiburg, Germany, 1 October 2007

2005

Daan Leijen and Andres Löh, Qualified types for MLF, in The International Conference on Functional Programming (ICFP'05), ACM SIGPLAN, Tallin, Estonia, September 2005

Daan Leijen, Extensible records with scoped labels, in Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), Tallin, Estonia, September 2005

2004

Daan Leijen, First-class labels for extensible rows, no. UU-CS-2004-51, December 2004

Bastiaan Heeren and Daan Leijen, Functioneel Programmeren met Helium, in NIOC'2004, November 2004

Daan Leijen and Bastiaan Heeren, Gebruikersvriendelijke compiler voor het onderwijs, in Informatie, vol. 46, no. 8, October 2004

Daan Leijen, wxHaskell – A portable and concise GUI library for Haskell, in ACM SIGPLAN Haskell Workshop (Haskell'04), Snowbird, Utah, ACM Press, 22 September 2004

2003

Daan Leijen, The λ Abroad – A Functional Approach to Software Components, Dept. of Computer Science, Universiteit Utrecht, November 2003

Bastiaan Heeren, Daan Leijen, and Arjan van IJzendoorn, Helium, for Learning Haskell, in Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden, ACM SIGPLAN, 28 August 2003

Daan Leijen, Division and Modulus for Computer Scientists , July 2003

2001

Daan Leijen and Erik Meijer, Parsec: Direct Style Monadic Parser Combinators for the Real World, no. UU-CS-2001-27, July 2001

1999

Daan Leijen and Erik Meijer, Domain Specific Embedded Compilers, in 2nd USENIX Conference on Domain Specific Languages (DSL'99), Austin, Texas, October 1999

Daan Leijen, Erik Meijer, and James Hook, Haskell as an Automation Controller, in The 3rd International Summerschool on Advanced Functional Programming, Braga, Portugal, Springer-Verlag, Braga, Portugal, September 1999

Sigbjörn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones, Calling Hell from Heaven and Heaven from Hell, in The International Conference on Functional Programming (ICFP'99), Paris, France, ACM Press, Paris, France, September 1999

1998

Sigbjörn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones, H/Direct: A Binary Foreign Language Interface to Haskell, in Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP'98), ACM SIGPLAN, Baltimore, USA, September 1998

Daan Leijen, Functional Components: COM components in Haskell, University of Amsterdam, June 1998

Simon Peyton Jones, Erik Meijer, and Daan Leijen, Scripting COM components from Haskell, in Fifth International Conference on Software Reuse (ICSR'98), Victoria, BC, Canada, IEEE Computer Society Press, Victoria, B.C., Canada, June 1998

Erik Meijer, Daan Leijen, and James Hook, Client-side Web Scripting with HaskellScript, in Practical Aspects of Declarative Languages (PADL'98), Springer-Verlag, Berlin, 1998