Positive subtyping (1995)

by M Hofmann, B Pierce
Venue:In POPL’95