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

by Karl Crary
Citations:15 - 7 self