Sciweavers

75
Voted
ICFP
2002
ACM
15 years 10 months ago
Modular typechecking for hierarchically extensible datatypes and functions
Todd D. Millstein, Colin Bleckner, Craig Chambers