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