Sound polymorphic type inference for objects

This publication has 19 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Covariance and contravariance
  ACM Transactions on Programming Languages and Systems, 1995
• Type Inference for Recursively Constrained Types and its Application to OOP
  Electronic Notes in Theoretical Computer Science, 1995
• A complete type inference system for subtyped recursive types
  Published by Springer Nature ,1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993
• Safety analysis versus type inference for partial types
  Information Processing Letters, 1992
• Type inference in the presence of overloading, subtyping and recursive types
  Published by Association for Computing Machinery (ACM) ,1992
• Type inference for polymorphic references
  Information and Computation, 1990
• Three approaches to type structure
  Published by Springer Nature ,1985
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984