Portrait of Daan Leijen

Daan Leijen

Researcher

About

I am a member of the Research In Software Engineering (RISE) group and chair of the Programming Languages working group (PLX). Currently, I am interested in the design and application of strong type systems and declarative programming languages, like Haskell. Furthermore, I work on domain specific embedded languages, language design, and compiler technology.

Projects

Koka

Established: April 13, 2012

Koka is a function-oriented programming language that seperates pure values from side-effecting computations, where the effect of every function is automatically inferred. Koka has many features that help programmers to easily change their data types and code organization correctly, while…

Concurrent Revisions

Established: September 15, 2010

The Revisions project introduces a novel programming model for concurrent, parallel, and distributed applications. It provides programmers with a simple, yet powerful and efficient mechanism (based on mutable snapshots and deterministic conflict resolution) to execute various application tasks in parallel…

Publications

2015

2014

2013

2012

2011

2010

2009

2008

2007

2005

2004

2003

2001

Projects

Other

I am currently on the program chair of the ML workshop 2013 — consider submitting a paper! I am a permanent member of IFIP working groups 2.16 and 2.4, and was chair of the Haskell Symposium steering committee till 2009. I was on the (external) program committee of the Haskell Symposium 2012, OOPSLA’11, the 2010 ML workshop, the ICFP 2009 conference, and 2004 Haskell workshop. I was the organizer and program chair of the 2005 Haskell workshop.