Higher-order subtyping (1997)

by Benjamin Pierce, Martin Steffen
Venue:Theoretical Computer Science