Daan Leijen

According to our database, Daan Leijen authored at least 49 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

The Functional Essence of Imperative Binary Search Trees.

Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley

Proc. ACM Program. Lang., 2024

2023

Continuing WebAssembly with Effect Handlers.

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley

Proc. ACM Program. Lang., October, 2023

FP²: Fully in-Place Functional Programming.

Anton Lorenzen, Daan Leijen, Wouter Swierstra

Proc. ACM Program. Lang., August, 2023

Tail Recursion Modulo Context: An Equational Approach.

Daan Leijen, Anton Lorenzen

Proc. ACM Program. Lang., January, 2023

2022

First-class names for effect handlers.

Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen

Proc. ACM Program. Lang., 2022

Reference counting with frame limited reuse.

Anton Lorenzen, Daan Leijen

Proc. ACM Program. Lang., 2022

Sound and Complete Type Inference for Closed Effect Rows.

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Towards Efficient Adjustment of Effect Rows.

Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

2021

Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C.

Ningning Xie, Daan Leijen

Proc. ACM Program. Lang., 2021

Perceus: garbage free reference counting with reuse.

Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Effect handlers, evidently.

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen

Proc. ACM Program. Lang., 2020

Effect handlers in Haskell, evidently.

Ningning Xie, Daan Leijen

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019

Mimalloc: Free List Sharding in Action.

Daan Leijen, Benjamin Zorn, Leonardo de Moura

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172).

Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers

Dagstuhl Reports, 2018

First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers.

Daan Leijen

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2017

Type directed compilation of row-typed algebraic effects.

Daan Leijen

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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, Daniël Telgen, John-Jules Ch. Meyer

Proceedings of the 13th IEEE International Symposium on Autonomous Decentralized System, 2017

Structured asynchrony with algebraic effects.

Daan Leijen

Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017

Semantics of asynchronous JavaScript.

Matthew C. Loring, Mark Marron, Daan Leijen

Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017

Implementing Algebraic Effects in C - "Monads for Free in C".

Daan Leijen

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

From Monads to Effects and Back.

Niki Vazou, Daan Leijen

Proceedings of the Practical Aspects of Declarative Languages, 2016

Rendering Mathematics for the Web using Madoko.

Daan Leijen

Proceedings of the 2016 ACM Symposium on Document Engineering, 2016

2015

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Madoko: Scholarly Documents for the Web.

Daan Leijen

Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

2014

Koka: Programming with Row Polymorphic Effect Types.

Daan Leijen

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

Polymonadic Programming.

Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

2013

Increasing human-tool interaction via the web.

Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

2012

Integrating a set of contract checking tools into visual studio.

Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Eventually Consistent Transactions.

Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2012

Cloud Types for Eventual Consistency.

Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Two for the price of one: a model for parallel and incremental computation.

Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Lightweight monadic programming in ML.

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Prettier concurrency: purely functional concurrent revisions.

Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Semantics of Concurrent Revisions.

Sebastian Burckhardt, Daan Leijen

Proceedings of the Programming Languages and Systems, 2011

2010

Concurrent programming with revisions and isolation types.

Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Flexible types: robust type inference for first-class polymorphism.

Daan Leijen

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

The design of a task parallel library.

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

HMF: simple type inference for first-class polymorphism.

Daan Leijen

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A type directed translation of MLF to system F.

Daan Leijen

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2005

Extensible records with scoped labels.

Daan Leijen

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Qualified types for MLF.

Daan Leijen, Andres Löh

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

wxHaskell: a portable and concise GUI library for haskell.

Daan Leijen

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

2003

Helium, for learning Haskell.

Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

1999

Client-Side Web Scripting with HaskellScript.

Erik Meijer, Daan Leijen, James Hook

Proceedings of the Practical Aspects of Declarative Languages, 1999

Calling Hell From Heaven and Heaven From Hell.

Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Domain specific embedded compilers.

Daan Leijen, Erik Meijer

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998

Scripting COM components in Haskell.

Simon Peyton Jones, Erik Meijer, Daan Leijen

Proceedings of the Fifth International Conference on Software Reuse, 1998

H/Direct: A Binary Foreign Language Interface for Haskell.

Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Haskell as an Automation Controller.

Daan Leijen, Erik Meijer, James Hook

Proceedings of the Advanced Functional Programming, 1998