Reply to "Subtypes and Quantification"
No abstract available.
Related papers
- 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
- Reply to "Type-Extension Tests Can Be Performed In Constant Time" TOPLAS 1991