Polymorphic type inference and containment (1984)

by J C Mitchell