Modular typechecking for hierarchically extensible datatypes and functions (0)

by Todd Millstein, Colin Bleckner, Craig Chambers
Venue:ACM Trans. Program. Lang. Syst