A Core Calculus of Classes and Mixins
- 19 November 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Modularity meets inheritancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A Core Calculus of Classes and ObjectsElectronic Notes in Theoretical Computer Science, 1999
- An imperative, first-order calculus with object extensionPublished by Springer Nature ,1998
- Comparing object encodingsPublished by Springer Nature ,1997
- A Theory of ObjectsPublished by Springer Nature ,1996
- An algebraic approach to mixins and modularityPublished by Springer Nature ,1996
- A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objectsPublished by Springer Nature ,1995
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- Safe type checking in a statically-typed object-oriented programming languagePublished by Association for Computing Machinery (ACM) ,1993
- Mixin-based inheritancePublished by Association for Computing Machinery (ACM) ,1990