Daan Leijen

54 papers A* 3A 13B 5C 8Journal 13Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
First-Order Laziness.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
2025 J jnl
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading.
Proc. ACM Program. Lang.
Daan Leijen, Wenjia Ye
2025 J jnl
Tail recursion modulo context: An equational approach (extended version).
J. Funct. Program.
Daan Leijen, Anton Lorenzen
2024 J jnl
The Functional Essence of Imperative Binary Search Trees.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
2023 J jnl
Continuing WebAssembly with Effect Handlers.
CoRR
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2023 J jnl
Continuing WebAssembly with Effect Handlers.
Proc. ACM Program. Lang.
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2023 J jnl
FP²: Fully in-Place Functional Programming.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen, Wouter Swierstra
2023 J jnl
Tail Recursion Modulo Context: An Equational Approach.
Proc. ACM Program. Lang.
Daan Leijen, Anton Lorenzen
2022 J jnl
First-class names for effect handlers.
Proc. ACM Program. Lang.
Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen
2022 J jnl
Reference counting with frame limited reuse.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen
2022 — conf
Sound and Complete Type Inference for Closed Effect Rows.
TFP
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen
2022 — conf
Towards Efficient Adjustment of Effect Rows.
TFP
Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen
2021 J jnl
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C.
Proc. ACM Program. Lang.
Ningning Xie, Daan Leijen
2021 A* conf
Perceus: garbage free reference counting with reuse.
PLDI
Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen
2020 — conf
Effect handlers in Haskell, evidently.
Haskell@ICFP
Ningning Xie, Daan Leijen
2020 J jnl
Effect handlers, evidently.
Proc. ACM Program. Lang.
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
2019 B conf
Mimalloc: Free List Sharding in Action.
APLAS
Daan Leijen, Benjamin Zorn, Leonardo de Moura
2018 J jnl
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172).
Dagstuhl Reports
Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers
2018 — conf
First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers.
TyDe@ICFP
Daan Leijen
2017 C conf
A Versatile Simulation Model of Agile Production by Autonomous Systems.
ISADS
Leo van Moergestel, Hylco Uding, Nathan Schaaphuizen, Daan Leijen, Daniel van den Berg, Hendrik Cornelisse, Matthijs Veldhuizen, Martijn van der Struijk, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer
2017 B conf
Implementing Algebraic Effects in C - "Monads for Free in C".
APLAS
Daan Leijen
2017 C conf
Semantics of asynchronous JavaScript.
DLS
Matthew C. Loring, Mark Marron, Daan Leijen
2017 — conf
Structured asynchrony with algebraic effects.
TyDe@ICFP
Daan Leijen
2017 A* conf
Type directed compilation of row-typed algebraic effects.
POPL
Daan Leijen
2016 C conf
From Monads to Effects and Back.
PADL
Niki Vazou, Daan Leijen
2016 B conf
Rendering Mathematics for the Web using Madoko.
DocEng
Daan Leijen
2015 A conf
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.
ECOOP
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich
2015 B conf
Madoko: Scholarly Documents for the Web.
DocEng
Daan Leijen
2014 — conf
Koka: Programming with Row Polymorphic Effect Types.
MSFP
Daan Leijen
2014 — conf
Polymonadic Programming.
MSFP
Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy
2013 — conf
Increasing human-tool interaction via the web.
PASTE
Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen
2012 A conf
Cloud Types for Eventual Consistency.
ECOOP
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood
2012 A conf
Eventually Consistent Transactions.
ESOP
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv
2012 — conf
Integrating a set of contract checking tools into visual studio.
TOPI@ICSE
Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo
2011 A conf
Lightweight monadic programming in ML.
ICFP
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
2011 C conf
Prettier concurrency: purely functional concurrent revisions.
Haskell
Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt
2011 A conf
Semantics of Concurrent Revisions.
ESOP
Sebastian Burckhardt, Daan Leijen
2011 A conf
Two for the price of one: a model for parallel and incremental computation.
OOPSLA
Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball
2010 A conf
Concurrent programming with revisions and isolation types.
OOPSLA
Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen
2009 A* conf
Flexible types: robust type inference for first-class polymorphism.
POPL
Daan Leijen
2009 A conf
The design of a task parallel library.
OOPSLA
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
2008 A conf
HMF: simple type inference for first-class polymorphism.
ICFP
Daan Leijen
2007 A conf
A type directed translation of MLF to system F.
ICFP
Daan Leijen
2005 — conf
Extensible records with scoped labels.
Trends in Functional Programming
Daan Leijen
2005 C ed.
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005
Haskell
Daan Leijen
2005 A conf
Qualified types for MLF.
ICFP
Daan Leijen, Andres Löh
2004 C conf
wxHaskell: a portable and concise GUI library for haskell.
Haskell
Daan Leijen
2003 C conf
Helium, for learning Haskell.
Haskell
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
1999 A conf
Calling Hell From Heaven and Heaven From Hell.
ICFP
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
1999 C conf
Client-Side Web Scripting with HaskellScript.
PADL
Erik Meijer, Daan Leijen, James Hook
1999 — conf
Domain specific embedded compilers.
DSL
Daan Leijen, Erik Meijer
1998 A conf
H/Direct: A Binary Foreign Language Interface for Haskell.
ICFP
Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
1998 — conf
Haskell as an Automation Controller.
Advanced Functional Programming
Daan Leijen, Erik Meijer, James Hook
1998 B conf
Scripting COM components in Haskell.
ICSR
Simon Peyton Jones, Erik Meijer, Daan Leijen