On Subtyping and Matching
Abstract elided by the publisher.
Related papers
- Integrating Subtyping, Matching and Type Quantification: A Practical Perspective ECOOP 1996
- Subtyping Is Not a Good "Match" for Object-Oriented Languages ECOOP 1997
- On Subtyping and Matching TOPLAS 1996
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- Type-level programming with match types POPL 2022
- Intensional datatype refinement: with application to scalable verification of pattern-match safety POPL 2021
- Modular reifiable matching: a list-of-functors approach to two-level types Haskell 2015
- Structural Subtyping and the Notion of Power Type POPL 1988