A unifying type-theoretic framework for objects

This publication has 11 references indexed in Scilit:

• Safe type checking in a statically-typed object-oriented programming language
  Published by Association for Computing Machinery (ACM) ,1993
• PER models of subtyping, recursive types and higher-order polymorphism
  Published by Association for Computing Machinery (ACM) ,1992
• An extension of system F with subtyping
  Published by Springer Nature ,1991
• Functorial polymorphism
  Theoretical Computer Science, 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
• 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
• SIMULA: an ALGOL-based simulation language
  Communications of the ACM, 1966