Type inference with partial types

This publication has 8 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Type inference with subtypes
  Published by Springer Nature ,1988
• A simple applicative language: mini-ML
  Published by Association for Computing Machinery (ACM) ,1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Three approaches to type structure
  Published by Springer Nature ,1985
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• Domains for denotational semantics
  Published by Springer Nature ,1982