Decidability of Higher-Order Subtyping with Intersection Types (1994)

View PDF

Download Links

by Adriana B. Compagnoni
Venue:University of Edinburgh, LFCS
Citations:43 - 12 self