Higher-order subtyping. Theoretical Computer Science (1997)

by Benjamin Pierce, Martin Steffen
Venue:in IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET