Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
No abstract available.
Related papers
- Algorithmic Aspects of Type Inference with Subtypes POPL 1992
- Decidable subtyping for path dependent types POPL 2020
- Distributive Disjoint Polymorphism for Compositional Programming ESOP 2019
- Decidable Subtyping of Existential Types for Julia PLDI 2024
- Row and Bounded Polymorphism via Disjoint Polymorphism ECOOP 2020
- Greedy Implicit Bounded Quantification OOPSLA 2023
- On the Decidability of Subtyping with Bounded Existential Types APLAS 2009
- Recursive Subtyping for All POPL 2023