Daan Leijen

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 23

Top Topics

Functional Programming

Quantifier Elimination

Negative Effects

Electronic Documents

Top Venues

Proc. ACM Program. Lang.

Publications

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