Safe and decidable type checking in an object-oriented language
- 1 October 1993
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 28 (10) , 29-46
- https://doi.org/10.1145/165854.165865
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Safe type checking in a statically-typed object-oriented programming languagePublished by Association for Computing Machinery (ACM) ,1993
- Efficient recursive subtypingPublished by Association for Computing Machinery (ACM) ,1993
- Coherence of subsumption, minimum typing and type-checking in F ≤Mathematical Structures in Computer Science, 1992
- Inheritance as implicit coercionInformation and Computation, 1991
- A semantic basis for QuestJournal of Functional Programming, 1991
- A modest model of records, inheritance, and bounded quantificationInformation and Computation, 1990
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- Toward a typed foundation for method specialization and inheritancePublished by Association for Computing Machinery (ACM) ,1990
- Interfaces for strongly-typed object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985