On the Decidability of Subtyping with Bounded Existential Types
No abstract available.
Related papers
- Decidable Subtyping of Existential Types for Julia PLDI 2024
- Syntactically Restricting Bounded Polymorphism for Decidable Subtyping APLAS 2020
- Decidable subtyping for path dependent types POPL 2020
- Algorithmic Aspects of Type Inference with Subtypes POPL 1992
- Abstraction preservation and subtyping in distributed languages ICFP 2006
- Recursive subtyping for all JFP 2025
- Recursive Subtyping for All POPL 2023
- Taming wildcards in Java's type system PLDI 2011