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

by Karl Crary
Citations:13 - 6 self