A Core Calculus of Classes and Objects
Open Access
- 31 December 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 20, 28-49
- https://doi.org/10.1016/s1571-0661(04)80065-3
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- PolyTOIL: A Type-Safe Polymorphic Object-Oriented LanguagePublished by Springer Nature ,2000
- A Core Calculus of Classes and MixinsPublished by Springer Nature ,1999
- An imperative, first-order calculus with object extensionPublished by Springer Nature ,1998
- Matching constraints for the Lambda Calculus of ObjectsPublished by Springer Nature ,1997
- Comparing object encodingsPublished by Springer Nature ,1997
- Subtyping is not a good “match” for object-oriented languagesPublished by Springer Nature ,1997
- 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
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985