Positive Subtyping (1994)

by Martin Hofmann, Benjamin Pierce
Venue:Information and Computation