Positive subtyping (1996)

by Martin Hofmann, Benjamin Pierce
Venue:Information and Computation