Horn clause programs with polymorphic types: Semantics and resolution

This publication has 15 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• 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
• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940