Efficient type reconstruction in the presence of inheritance

This publication has 8 references indexed in Scilit:

• Subtype inequalities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Type reconstruction with recursive types and atomic subtyping
  Published by Springer Nature ,1993
• Efficient Inference of Partial Types
  DAIMI Report Series, 1992
• Algorithmic aspects of type inference with subtypes
  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
• On the complexity of type inference with coercion
  Published by Association for Computing Machinery (ACM) ,1989
• Holes in ordered sets
  Graphs and Combinatorics, 1985
• Coercion and type inference
  Published by Association for Computing Machinery (ACM) ,1984