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

by Adriana B. Compagnoni
Venue:University of Edinburgh, LFCS