Extending Moby with Inheritance-Based Subtyping
Abstract elided by the publisher.
Related papers
- The Design of a Class Mechanism for Moby PLDI 1999
- Type Inference With Simple Subtypes JFP 1991
- Inheritance and Subtyping in a Parallel Object-Oriented Language ECOOP 1987
- Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping ECOOP 1994
- Structural model subtyping with OCL constraints SLE 2017
- Inheritance Is Not Subtyping POPL 1990
- A Parallel Object-Oriented Language with Inheritance and Subtyping OOPSLA 1990
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015