Logic programming with polymorphically order-sorted types

This publication has 10 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Many-sorted unification
  Journal of the ACM, 1988
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Many-Sorted Resolution and Paramodulation
  Published by Elsevier ,1987
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982