A theory of primitive objects
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A lambda calculus of objects and method specializationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Baby Modula-3 and a theory of objectsJournal of Functional Programming, 1994
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- Operations on recordsMathematical Structures in Computer Science, 1991
- Subtyping recursive typesPublished by Association for Computing Machinery (ACM) ,1991
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- A semantics of multiple inheritanceInformation and Computation, 1988
- Inheritance in smalltalk-80: a denotational definitionPublished by Association for Computing Machinery (ACM) ,1988
- An ideal model for recursive polymorphic typesInformation and Control, 1986
- SIMULA: an ALGOL-based simulation languageCommunications of the ACM, 1966