Corrigendum: Decidable Bounded Quantification
Abstract
No abstract available.
Related papers
- Structural Decidable Extensions of Bounded Quantification POPL 1995
- Decidable Bounded Quantification POPL 1994
- Recursive Subtyping for All POPL 2023
- Application of OOP Type Theory: State, Decidability, Integragtion OOPSLA 1994
- Greedy Implicit Bounded Quantification OOPSLA 2023
- Recursive subtyping for all JFP 2025
- Realizing ømega-regular Hyperproperties CAV 2020
- Bounded refinement types ICFP 2015