Polymorphic type inference and containment (1988)

by J C Mitchell
Venue:Information and Computation