Complete restrictions of the intersection type discipline

This publication has 11 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Principal type scheme and unification for intersection type discipline
  Theoretical Computer Science, 1988
• Polymorphic type inference and containment
  Information and Computation, 1988
• Type theories, normal forms, and D∞-lambda-models
  Information and Computation, 1987
• A characterization of F-complete type assignments
  Theoretical Computer Science, 1986
• Principal type schemes for an extended type theory
  Theoretical Computer Science, 1983
• The completeness theorem for typing λ-terms
  Theoretical Computer Science, 1983
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• Functional Characters of Solvable Terms
  Mathematical Logic Quarterly, 1981
• An extension of the basic functionality theory for the $\lambda$-calculus.
  Notre Dame Journal of Formal Logic, 1980