A Framework for Strong Typing and Type Inference in (Persistent) Object Models
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- GOM: A Strongly Typed Persistent Object Model With PolymorphismPublished by Springer Nature ,1991
- Correcting Anomalies of Standard InheritancePublished by Springer Nature ,1990
- Operations and implementation of complex objectsIEEE Transactions on Software Engineering, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- SIMULA: an ALGOL-based simulation languageCommunications of the ACM, 1966