Foundations for the Implementation of Higher-Order Subtyping (1997)

by Karl Crary
Venue:In ACM International Conference on Functional Programming