| 2021 | PLDI | Perceus: garbage free reference counting with reuse. | Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen |
| 2020 | HASKELL | Effect handlers in Haskell, evidently. | Ningning Xie, Daan Leijen |
| 2019 | APLAS | Mimalloc: Free List Sharding in Action. | Daan Leijen, Benjamin Zorn, Leonardo de Moura |
| 2018 | ICFP | First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers. | Daan Leijen |
| 2017 | APLAS | Implementing Algebraic Effects in C - "Monads for Free in C". | Daan Leijen |
| 2017 | DLS | Semantics of asynchronous JavaScript. | Matthew C. Loring, Mark Marron, Daan Leijen |
| 2017 | ICFP | Structured asynchrony with algebraic effects. | Daan Leijen |
| 2017 | ISADS | A Versatile Simulation Model of Agile Production by Autonomous Systems. | Leo van Moergestel, Hylco Uding, Nathan Schaaphuizen, Daan Leijen, Daniel van den Berg, Hendrik Cornelisse, Matthijs Veldhuizen, Martijn van der Struijk, Erik Puik, Danil Telgen, John-Jules Ch. Meyer |
| 2017 | POPL | Type directed compilation of row-typed algebraic effects. | Daan Leijen |
| 2016 | DocEng | Rendering Mathematics for the Web using Madoko. | Daan Leijen |
| 2016 | PADL | From Monads to Effects and Back. | Niki Vazou, Daan Leijen |
| 2015 | DocEng | Madoko: Scholarly Documents for the Web. | Daan Leijen |
| 2015 | ECOOP | Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. | Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fhndrich |
| 2012 | ECOOP | Cloud Types for Eventual Consistency. | Sebastian Burckhardt, Manuel Fhndrich, Daan Leijen, Benjamin P. Wood |
| 2012 | ESOP | Eventually Consistent Transactions. | Sebastian Burckhardt, Daan Leijen, Manuel Fhndrich, Mooly Sagiv |
| 2012 | ICSE | Integrating a set of contract checking tools into visual studio. | Manuel Fhndrich, Michael Barnett, Daan Leijen, Francesco Logozzo |
| 2011 | ESOP | Semantics of Concurrent Revisions. | Sebastian Burckhardt, Daan Leijen |
| 2011 | HASKELL | Prettier concurrency: purely functional concurrent revisions. | Daan Leijen, Manuel Fhndrich, Sebastian Burckhardt |
| 2011 | ICFP | Lightweight monadic programming in ML. | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks |
| 2011 | OOPSLA | Two for the price of one: a model for parallel and incremental computation. | Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball |
| 2010 | OOPSLA | Concurrent programming with revisions and isolation types. | Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen |
| 2009 | OOPSLA | The design of a task parallel library. | Daan Leijen, Wolfram Schulte, Sebastian Burckhardt |
| 2009 | POPL | Flexible types: robust type inference for first-class polymorphism. | Daan Leijen |
| 2008 | ICFP | HMF: simple type inference for first-class polymorphism. | Daan Leijen |
| 2007 | ICFP | A type directed translation of MLF to system F. | Daan Leijen |
| 2005 | ICFP | Qualified types for MLF. | Daan Leijen, Andres Lh |
| 2004 | HASKELL | wxHaskell: a portable and concise GUI library for haskell. | Daan Leijen |
| 2003 | HASKELL | Helium, for learning Haskell. | Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn |
| 1999 | ICFP | Calling Hell From Heaven and Heaven From Hell. | Sigbjrn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1999 | PADL | Client-Side Web Scripting with HaskellScript. | Erik Meijer, Daan Leijen, James Hook |
| 1998 | ICFP | H/Direct: A Binary Foreign Language Interface for Haskell. | Sigbjrn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1998 | ICSR | Scripting COM components in Haskell. | Simon Peyton Jones, Erik Meijer, Daan Leijen |