Daan Leijen

Orcid: 0000-0003-1027-5430

Affiliations:
  • Microsoft Research


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Functional Essence of Imperative Binary Search Trees.
Proc. ACM Program. Lang., 2024

2023
Continuing WebAssembly with Effect Handlers.
Proc. ACM Program. Lang., October, 2023

FP²: Fully in-Place Functional Programming.
Proc. ACM Program. Lang., August, 2023

Tail Recursion Modulo Context: An Equational Approach.
Proc. ACM Program. Lang., January, 2023

2022
First-class names for effect handlers.
Proc. ACM Program. Lang., 2022

Reference counting with frame limited reuse.
Proc. ACM Program. Lang., 2022

Sound and Complete Type Inference for Closed Effect Rows.
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Towards Efficient Adjustment of Effect Rows.
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.
Proc. ACM Program. Lang., 2021

Perceus: garbage free reference counting with reuse.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Effect handlers, evidently.
Proc. ACM Program. Lang., 2020

Effect handlers in Haskell, evidently.
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019
Mimalloc: Free List Sharding in Action.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172).
Dagstuhl Reports, 2018

First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2017
Type directed compilation of row-typed algebraic effects.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A Versatile Simulation Model of Agile Production by Autonomous Systems.
Proceedings of the 13th IEEE International Symposium on Autonomous Decentralized System, 2017

Structured asynchrony with algebraic effects.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017

Semantics of asynchronous JavaScript.
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".
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016
From Monads to Effects and Back.
Proceedings of the Practical Aspects of Declarative Languages, 2016

Rendering Mathematics for the Web using Madoko.
Proceedings of the 2016 ACM Symposium on Document Engineering, 2016

2015
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Madoko: Scholarly Documents for the Web.
Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

2014
Koka: Programming with Row Polymorphic Effect Types.
Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

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

2013
Increasing human-tool interaction via the web.
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.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Eventually Consistent Transactions.
Proceedings of the Programming Languages and Systems, 2012

Cloud Types for Eventual Consistency.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Two for the price of one: a model for parallel and incremental computation.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Lightweight monadic programming in ML.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Prettier concurrency: purely functional concurrent revisions.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Semantics of Concurrent Revisions.
Proceedings of the Programming Languages and Systems, 2011

2010
Concurrent programming with revisions and isolation types.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009
Flexible types: robust type inference for first-class polymorphism.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

The design of a task parallel library.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008
HMF: simple type inference for first-class polymorphism.
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.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2005
Extensible records with scoped labels.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Qualified types for MLF.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004
wxHaskell: a portable and concise GUI library for haskell.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

2003
Helium, for learning Haskell.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

1999
Client-Side Web Scripting with HaskellScript.
Proceedings of the Practical Aspects of Declarative Languages, 1999

Calling Hell From Heaven and Heaven From Hell.
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

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

1998
Scripting COM components in Haskell.
Proceedings of the Fifth International Conference on Software Reuse, 1998

H/Direct: A Binary Foreign Language Interface for Haskell.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Haskell as an Automation Controller.
Proceedings of the Advanced Functional Programming, 1998


  Loading...