Modular typechecking for hierarchically extensible datatypes and functions (2002)

by Todd Millstein, Colin Bleckner, Craig Chambers
Venue:In Proceedings of the International Conference on Functional Programming