Type inference of SELF: Analysis of objects with dynamic and multiple inheritance

This publication has 7 references indexed in Scilit:

• Making type inference practical
  Published by Springer Nature ,2006
• Safety analysis versus type inference for partial types
  Information Processing Letters, 1992
• Object-oriented type inference
  ACM SIGPLAN Notices, 1991
• Parents are shared parts of objects: Inheritance and encapsulation in SELF
  Higher-Order and Symbolic Computation, 1991
• Self: The power of simplicity
  Published by Association for Computing Machinery (ACM) ,1987
• A Simple Algorithm and Proof for Type Inference1
  Fundamenta Informaticae, 1987
• Using prototypical objects to implement shared behavior in object-oriented systems
  ACM SIGPLAN Notices, 1986