ACTS: A type system for object-oriented programming based on abstract and concrete classes

This publication has 18 references indexed in Scilit:

• Toward a typed foundation for method specialization and inheritance
  Published by Association for Computing Machinery (ACM) ,1990
• Interfaces for strongly-typed object-oriented programming
  ACM SIGPLAN Notices, 1989
• F-bounded polymorphism for object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1989
• Common Lisp Object System specification
  ACM SIGPLAN Notices, 1988
• Type theories and object-oriented programmimg
  ACM Computing Surveys, 1988
• Inheritance in smalltalk-80: a denotational definition
  Published by Association for Computing Machinery (ACM) ,1988
• Inheritance and Subtyping in a Parallel Object-Oriented Language
  Published by Springer Nature ,1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• A proposal for standard ML
  Published by Association for Computing Machinery (ACM) ,1984
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984