Comparing object encodings
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 415-438
- https://doi.org/10.1007/bfb0014561
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- On Subtyping and MatchingPublished by Springer Nature ,2000
- A Theory of ObjectsPublished by Springer Nature ,1996
- An interpretation of objects and object typesPublished by Association for Computing Machinery (ACM) ,1996
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Coherence of subsumption, minimum typing and type-checking in F ≤Mathematical Structures in Computer Science, 1992
- A semantic basis for QuestJournal of Functional Programming, 1991
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- F-bounded polymorphism for object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989
- A semantics of multiple inheritanceInformation and Computation, 1988
- Distrbution and Abstract Types in EmeraldIEEE Transactions on Software Engineering, 1987