A delegation-based object calculus with subtyping

This publication has 7 references indexed in Scilit:

• Simple type-theoretic foundations for object-oriented programming
  Journal of Functional Programming, 1994
• Notes on typed object-oriented programming
  Published by Springer Nature ,1994
• A theory of primitive objects
  Published by Springer Nature ,1994
• Safe type checking in a statically-typed object-oriented programming language
  Published by Association for Computing Machinery (ACM) ,1993
• SELF: The power of simplicity
  Higher-Order and Symbolic Computation, 1991
• Toward a typed foundation for method specialization and inheritance
  Published by Association for Computing Machinery (ACM) ,1990
• Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language
  ACM SIGPLAN Notices, 1989