Subtyping Is Not a Good "Match" for Object-Oriented Languages
No abstract available.
DOI 10.1007/bfb0053376
Related papers
- On Subtyping and Matching TOPLAS 1996
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- Correspondence Polymorphism for Object-Oriented Languages OOPSLA 1999
- Bisimilarity for a First-Order Calculus of Objects with Subtyping POPL 1996
- Inheritance and Subtyping in a Parallel Object-Oriented Language ECOOP 1987
- Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping ECOOP 1994
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages ECOOP 2014
- Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990