Making type inference practical

This publication has 20 references indexed in Scilit:

• Optimizing dynamically-typed object-oriented languages with polymorphic inline caches
  Published by Springer Nature ,2006
• Wrapper semantics of an object-oriented programming language with state
  Published by Springer Nature ,1991
• A type system for Smalltalk
  Published by Association for Computing Machinery (ACM) ,1990
• A denotational semantics of inheritance and its correctness
  Published by Association for Computing Machinery (ACM) ,1989
• 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
• The BETA Programming Language
  DAIMI Report Series, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984
• A type declaration and inference system for smalltalk
  Published by Association for Computing Machinery (ACM) ,1982