Integrating Subtyping, Matching and Type Quantification: A Practical Perspective
No abstract available.
DOI 10.1007/bfb0053055
Related papers
- Type-level programming with match types POPL 2022
- Bounded Quantification is Undecidable POPL 1992
- Parametric polymorphism for XML TOPLAS 2009
- Typed compilation of inclusive subtyping ICFP 2000
- Row and Bounded Polymorphism via Disjoint Polymorphism ECOOP 2020
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011
- Recursive Subtyping for All POPL 2023
- Application of OOP Type Theory: State, Decidability, Integragtion OOPSLA 1994