Notes on typed object-oriented programming

This publication has 33 references indexed in Scilit:

• Baby Modula-3 and a theory of objects
  Journal of Functional Programming, 1994
• A calculus for overloaded functions with subtyping
  ACM SIGPLAN Lisp Pointers, 1992
• A modest model of records, inheritance, and bounded quantification
  Information and Computation, 1990
• Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language
  ACM SIGPLAN Notices, 1989
• A Proposal for Making Eiffel Type-safe
  The Computer Journal, 1989
• Abstract types have existential type
  ACM Transactions on Programming Languages and Systems, 1988
• A semantics of multiple inheritance
  Information and Computation, 1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Abstraction mechanisms in CLU
  Communications of the ACM, 1977
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971