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

by Geoffrey S. Smith
Venue:Science of Computer Programming
Citations:44 - 1 self