Foundations for the Implementation of Higher-Order Subtyping.

Karl Crary

Browse the full ICFP paper archive.