Objects as closures: abstract semantics of object-oriented languages
- 1 January 1988
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 289-297
- https://doi.org/10.1145/62678.62721
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Inheritance in smalltalk-80: a denotational definitionPublished by Association for Computing Machinery (ACM) ,1988
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Abstract types have existential typesPublished by Association for Computing Machinery (ACM) ,1985
- A semantic model of types for applicative languagesPublished by Association for Computing Machinery (ACM) ,1982
- Alphard: Form and ContentPublished by Springer Nature ,1981
- SIMULA: an ALGOL-based simulation languageCommunications of the ACM, 1966