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
Citations:34 - 6 self