Safe and decidable type checking in an object-oriented language
Authors:
- Kim B. BruceKBKim B. Bruce
- Jon CrabtreeJCJon Crabtree
- Thomas P. MurtaghTMThomas P. Murtagh
- Robert van GentRGRobert van Gent
- Allyn DimockADAllyn Dimock
- Robert MullerRMRobert Muller
Open Access
- 1 October 1993
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 28 (10) , 29-46
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Safe type checking in a statically-typed object-oriented programming language1993
- Efficient recursive subtyping1993
- 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 subtyping1990
- Toward a typed foundation for method specialization and inheritance1990
- Interfaces for strongly-typed object-oriented programming1989
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985