Set-theoretic foundation of parametric polymorphism and subtyping
No abstract available.
Related papers
- Parametric Subtyping for Structural Parametric Polymorphism POPL 2024
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- Set-theoretic types for polymorphic variants ICFP 2016
- Modules, abstraction, and parametric polymorphism POPL 2017
- Mechanizing Refinement Types POPL 2024
- Parametric polymorphism for XML TOPLAS 2009
- Structural Subtyping as Parametric Polymorphism OOPSLA 2023
- Parametricity as Subtyping POPL 1992