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

by Karl Crary
Citations:14 - 6 self