| 2004 | ||
|---|---|---|
| 2 | EE | Todd D. Millstein, Colin Bleckner, Craig Chambers: Modular typechecking for hierarchically extensible datatypes and functions. ACM Trans. Program. Lang. Syst. 26(5): 836-889 (2004) |
| 2002 | ||
| 1 | EE | Todd D. Millstein, Colin Bleckner, Craig Chambers: Modular typechecking for hierarchically extensible datatypes and functions. ICFP 2002: 110-122 |
| 1 | Craig Chambers | [1] [2] |
| 2 | Todd D. Millstein | [1] [2] |