![]() | ![]() |
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] |