On the Decidability of Subtyping with Bounded Existential Types.

Stefan Wehr, Peter Thiemann

Browse the full APLAS paper archive.