Higher-order subtyping (1994)

by B C Pierce, M Steffen
Venue:In IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET