| 2009 |
|---|
| 12 | EE | Amal Ahmed,
Derek Dreyer,
Andreas Rossberg:
State-dependent representation independence.
POPL 2009: 340-353 |
| 2008 |
|---|
| 11 | EE | Derek Dreyer,
Andreas Rossberg:
Mixin' up the ML module system.
ICFP 2008: 307-320 |
| 2007 |
|---|
| 10 | | Claudio Russo,
Derek Dreyer:
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007
ACM 2007 |
| 9 | EE | Derek Dreyer,
Matthias Blume:
Principal Type Schemes for Modular Programs.
ESOP 2007: 441-457 |
| 8 | EE | Derek Dreyer:
A type system for recursive modules.
ICFP 2007: 289-302 |
| 7 | EE | Derek Dreyer,
Robert Harper,
Manuel M. T. Chakravarty,
Gabriele Keller:
Modular type classes.
POPL 2007: 63-70 |
| 6 | EE | Derek Dreyer:
Recursive type generativity.
J. Funct. Program. 17(4-5): 433-471 (2007) |
| 2005 |
|---|
| 5 | EE | Derek Dreyer:
Recursive type generativity.
ICFP 2005: 41-53 |
| 2004 |
|---|
| 4 | EE | Derek Dreyer:
A type system for well-founded recursion.
POPL 2004: 293-305 |
| 2003 |
|---|
| 3 | EE | Derek Dreyer,
Karl Crary,
Robert Harper:
A type system for higher-order modules.
POPL 2003: 236-249 |
| 2 | EE | Joseph Vanderwaart,
Derek Dreyer,
Leaf Petersen,
Karl Crary,
Robert Harper,
Perry Cheng:
Typed compilation of recursive datatypes.
TLDI 2003: 98-108 |
| 1 | EE | Joseph Vanderwaart,
Derek Dreyer,
Leaf Petersen,
Karl Crary,
Robert Harper,
Perry Cheng:
Typed compilation of recursive datatypes.
TLDI 2003: 98-108 |
