Safe and decidable type checking in an object-oriented language

This publication has 14 references indexed in Scilit:

• An operational semantics for TOOPLE: A statically-typed object-oriented programming language
  Published by Springer Nature ,1994
• Safe type checking in a statically-typed object-oriented programming language
  Published 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 coercion
  Information and Computation, 1991
• A semantic basis for Quest
  Journal of Functional Programming, 1991
• A modest model of records, inheritance, and bounded quantification
  Information and Computation, 1990
• Inheritance is not subtyping
  Published by Association for Computing Machinery (ACM) ,1990
• Toward a typed foundation for method specialization and inheritance
  Published by Association for Computing Machinery (ACM) ,1990
• Interfaces for strongly-typed object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1989
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985