A complete type inference system for subtyped recursive types

This publication has 14 references indexed in Scilit:

• Subtyping recursive types
  ACM Transactions on Programming Languages and Systems, 1993
• Type inference in the presence of overloading, subtyping and recursive types
  Published by Association for Computing Machinery (ACM) ,1992
• PER models of subtyping, recursive types and higher-order polymorphism
  Published by Association for Computing Machinery (ACM) ,1992
• Subtyping recursive types
  Published by Association for Computing Machinery (ACM) ,1991
• F-bounded polymorphism for object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1989
• Type inference with subtypes
  Published by Association for Computing Machinery (ACM) ,1988
• Type inference with partial types
  Published by Springer Nature ,1988
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984
• Fundamental properties of infinite trees
  Theoretical Computer Science, 1983