Type inference with subtypes

This publication has 10 references indexed in Scilit:

• On the complexity of type inference with coercion
  Published by Association for Computing Machinery (ACM) ,1989
• Type inference with partial types
  Published by Springer Nature ,1988
• Basic polymorphic typechecking
  Science of Computer Programming, 1987
• Three approaches to type structure
  Published by Springer Nature ,1985
• Coercion and type inference
  Published by Association for Computing Machinery (ACM) ,1984
• Type inference and type containment
  Published by Springer Nature ,1984
• Polymorphic type inference
  Published by Association for Computing Machinery (ACM) ,1983
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• Using category theory to design implicit conversions and generic operators
  Published by Springer Nature ,1980