A Higher Abstraction Level Using First-Class Inheritance Relations
No abstract available.
DOI 10.1007/978-3-540-73589-2_20
Related papers
- Typed First-Class Traits ECOOP 2018
- An Algebraic Semantics of Subobjects OOPSLA 1995
- Normalisation for First-Class Universe Levels POPL 2026
- Tailoring OO Analysis and Design Methods - Panel Session OOPSLA 1995
- Inheritance and Synchronization with Enabled Sets OOPSLA 1989
- Sharing classes between families PLDI 2009
- Reasoning about multiple related abstractions with MultiStar OOPSLA 2010
- An operational semantics and type safety prooffor multiple inheritance in C++ OOPSLA 2006