A class abstraction for a hierarchical type system

This publication has 7 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• A modest model of records, inheritance, and bounded quantification
  Information and Computation, 1990
• A semantics of multiple inheritance
  Information and Computation, 1988
• Amber
  Lecture Notes in Computer Science, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• SIMULA: an ALGOL-based simulation language
  Communications of the ACM, 1966