Type inference and type containment

This publication has 14 references indexed in Scilit:

• A types-as-sets semantics for milner-style polymorphism
  Published by Association for Computing Machinery (ACM) ,1984
• The completeness theorem for typing λ-terms
  Theoretical Computer Science, 1983
• Curry's type-rules are complete with respect to the F-semantics too
  Theoretical Computer Science, 1983
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• The Expressiveness of Simple and Second-Order Type Structures
  Journal of the ACM, 1983
• Polymorphic type inference
  Published by Association for Computing Machinery (ACM) ,1983
• What is a model of the lambda calculus?
  Information and Control, 1982
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• A semantic model of types for applicative languages
  Published by Association for Computing Machinery (ACM) ,1982
• Towards a theory of type structure
  Lecture Notes in Computer Science, 1974