2009 |
11 | EE | Daan Leijen:
Flexible types: robust type inference for first-class polymorphism.
POPL 2009: 66-77 |
2008 |
10 | EE | Daan Leijen:
HMF: simple type inference for first-class polymorphism.
ICFP 2008: 283-294 |
2007 |
9 | EE | Daan Leijen:
A type directed translation of MLF to system F.
ICFP 2007: 111-122 |
2005 |
8 | | Daan Leijen:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005
ACM 2005 |
7 | EE | Daan Leijen,
Andres Löh:
Qualified types for MLF.
ICFP 2005: 144-155 |
6 | | Daan Leijen:
Extensible records with scoped labels.
Trends in Functional Programming 2005: 179-194 |
1999 |
5 | EE | Daan Leijen,
Erik Meijer:
Domain specific embedded compilers.
DSL 1999: 109-122 |
4 | EE | Sigbjorn Finne,
Daan Leijen,
Erik Meijer,
Simon L. Peyton Jones:
Calling Hell From Heaven and Heaven From Hell.
ICFP 1999: 114-125 |
3 | EE | Erik Meijer,
Daan Leijen,
James Hook:
Client-Side Web Scripting with HaskellScript.
PADL 1999: 196-210 |
1998 |
2 | | Daan Leijen,
Erik Meijer,
James Hook:
Haskell as an Automation Controller.
Advanced Functional Programming 1998: 268-289 |
1 | EE | Sigbjorn Finne,
Daan Leijen,
Erik Meijer,
Simon L. Peyton Jones:
H/Direct: A Binary Foreign Language Interface for Haskell.
ICFP 1998: 153-162 |