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

by Karl Crary
Citations:12 - 6 self