dblp.uni-trier.dewww.uni-trier.de

Daan Leijen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
11EEDaan Leijen: Flexible types: robust type inference for first-class polymorphism. POPL 2009: 66-77
2008
10EEDaan Leijen: HMF: simple type inference for first-class polymorphism. ICFP 2008: 283-294
2007
9EEDaan 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
7EEDaan 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
5EEDaan Leijen, Erik Meijer: Domain specific embedded compilers. DSL 1999: 109-122
4EESigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones: Calling Hell From Heaven and Heaven From Hell. ICFP 1999: 114-125
3EEErik 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
1EESigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones: H/Direct: A Binary Foreign Language Interface for Haskell. ICFP 1998: 153-162

Coauthor Index

1Sigbjorn Finne [1] [4]
2James Hook [2] [3]
3Simon L. Peyton Jones [1] [4]
4Andres Löh [7]
5Erik Meijer [1] [2] [3] [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)