Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping
No abstract available.
DOI 10.1007/bfb0052186
Related papers
- Inheritance and Subtyping in a Parallel Object-Oriented Language ECOOP 1987
- A Parallel Object-Oriented Language with Inheritance and Subtyping OOPSLA 1990
- Eliminating distinctions of class: using prototypes to model virtual classes OOPSLA 2006
- Inheritance Is Not Subtyping POPL 1990
- An Extension of Standard ML Modules with Subtyping and Inheritance POPL 1991
- Safe Type Checking in a Statically-Typed Object-Oriented Programming Language POPL 1993
- Toward a Typed Foundation for Method Specialization and Inheritance POPL 1990
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015