From Classes to Objects via Subtyping
No abstract available.
Related papers
- Extensible objects without labels TOPLAS 2004
- Toward a Typed Foundation for Method Specialization and Inheritance POPL 1990
- Safe Type Checking in a Statically-Typed Object-Oriented Programming Language POPL 1993
- Inheritance Is Not Subtyping POPL 1990
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- A simple typed intermediate language for object-oriented languages POPL 2005
- Understanding class hierarchies using concept analysis TOPLAS 2000
- Associated types and constraint propagation for mainstream object-oriented generics OOPSLA 2005