Polymorphic type inference and containment (1988)

by John C Mitchell
Venue:Inf. Comput