A framework for type inference with subtyping

This publication has 7 references indexed in Scilit:

• Componential set-based analysis
  Published by Association for Computing Machinery (ACM) ,1997
• Simplifying subtyping constraints
  Published by Association for Computing Machinery (ACM) ,1996
• Efficient Inference of Object Types
  Information and Computation, 1995
• Sound polymorphic type inference for objects
  ACM SIGPLAN Notices, 1995
• Soft typing with conditional types
  Published by Association for Computing Machinery (ACM) ,1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993
• AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
  Published by Elsevier ,1971