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

Cached

Download Links

by Adriana B. Compagnoni
Venue:University of Edinburgh, LFCS
Citations:40 - 11 self

Document Versions

Decidability of Higher-Order Subtyping with Intersection Types –Adriana B. Compagnoni — 1994 — University of Edinburgh, LFCS