Principal Type Schemes for Functional Programs with Overloading and Subtyping (1994)

by Geoffrey S. Smith
Venue:Science of Computer Programming