Subtypes and Quantification
Abstract
No abstract available.
Related papers
- Reply to "Subtypes and Quantification" TOPLAS 1991
- Integrating Subtyping, Matching and Type Quantification: A Practical Perspective ECOOP 1996
- Bounded Quantification is Undecidable POPL 1992
- Typed compilation of inclusive subtyping ICFP 2000
- Structural Decidable Extensions of Bounded Quantification POPL 1995
- Recursive Subtyping for All POPL 2023
- Recursive subtyping for all JFP 2025
- The Duality of Subtyping ECOOP 2020