A calculus for overloaded functions with subtyping

This publication has 12 references indexed in Scilit:

• Coherence of subsumption, minimum typing and type-checking in F ≤
  Mathematical Structures in Computer Science, 1992
• A static type system for message passing
  Published by Association for Computing Machinery (ACM) ,1991
• Operations on records
  Mathematical Structures in Computer Science, 1991
• A modest model of records, inheritance, and bounded quantification
  Information and Computation, 1990
• How to make ad-hoc polymorphism less ad hoc
  Published by Association for Computing Machinery (ACM) ,1989
• A semantics of multiple inheritance
  Information and Computation, 1988
• The Common Lisp Object System: An Overview
  Published by Springer Nature ,1987
• A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)
  Published by Association for Computing Machinery (ACM) ,1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Functional Characters of Solvable Terms
  Mathematical Logic Quarterly, 1981