Constructor Subtyping
Abstract elided by the publisher.
Related papers
- Parametric Subtyping for Structural Parametric Polymorphism POPL 2024
- The first-order theory of subtyping constraints POPL 2002
- Definitional Functoriality for Dependent (Sub)Types ESOP 2024
- On Satisfiability of Nominal Subtyping with Variance ECOOP 2019
- Foundations for the Implementation of Higher-Order Subtyping ICFP 1997
- Polymorphic regular tree types and patterns POPL 2006
- A Unifying Type-Theoretic Framework for Objects JFP 1995
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022