Existential Types for Imperative Languages
No abstract available.
Related papers
- Quantified types in an imperative language TOPLAS 2006
- Intensional Effect Polymorphism ECOOP 2015
- Bidirectional Type Checking for Existential Types with Higher-Rank Polymorphism ESOP 2026
- On the Decidability of Subtyping with Bounded Existential Types APLAS 2009
- An existential crisis resolved: type inference for first-class existential types ICFP 2021
- Type Classes with Existential Types JFP 1996
- Abstract Types Have Existential Type TOPLAS 1988
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003