A static type system for message passing

This publication has 9 references indexed in Scilit:

• 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
• F-bounded polymorphism for object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1989
• Type theories and object-oriented programmimg
  ACM Computing Surveys, 1988
• A semantics of multiple inheritance
  Information and Computation, 1988
• Objects as closures: abstract semantics of object-oriented languages
  Published by Association for Computing Machinery (ACM) ,1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Abstract types have existential types
  Published by Association for Computing Machinery (ACM) ,1985