Inheritance and Cofree Constructions
No abstract available.
Related papers
- Enriched Presheaf Model of Quantum FPC POPL 2024
- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis CC 2012
- Mixin-based Inheritance OOPSLA 1990
- Scalable extensibility via nested inheritance OOPSLA 2004
- CZ: multiple inheritance without diamonds OOPSLA 2009
- Typing Algorithm in Type Theory with Inheritance POPL 1997
- Self: The Power of Simplicity OOPSLA 1987
- Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism OOPSLA 1996