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

by Geoffrey S. Smith
Venue:Science of Computer Programming
Citations:47 - 2 self