A calculus for overloaded functions with subtyping

This publication has 10 references indexed in Scilit:

• 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
• 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
• 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
• 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