Inheritance and Subtyping in a Parallel Object-Oriented Language
No abstract available.
DOI 10.1007/3-540-47891-4_22
Related papers
- A Parallel Object-Oriented Language with Inheritance and Subtyping OOPSLA 1990
- Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping ECOOP 1994
- 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
- Object-Oriented Programming without Recursive Types POPL 1993