Type Inference for Recursively Constrained Types and its Application to OOP

This publication has 19 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• An interpretation of typed OOP in a language with state
  Higher-Order and Symbolic Computation, 1995
• Precise concrete type inference for object-oriented languages
  ACM SIGPLAN Notices, 1994
• A complete type inference system for subtyped recursive types
  Published by Springer Nature ,1994
• Programming objects with ML-ART an extension to ML with abstract and record types
  Published by Springer Nature ,1994
• Safety analysis versus type inference for partial types
  Information Processing Letters, 1992
• Type inference in the presence of overloading, subtyping and recursive types
  ACM SIGPLAN Lisp Pointers, 1992
• Type inference for polymorphic references
  Information and Computation, 1990
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985