A polymorphic type system with subtypes for Prolog

This publication has 8 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Unification in many-sorted equational theories
  Published by Springer Nature ,1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Some global optimizations for a PROLOG compiler
  The Journal of Logic Programming, 1985
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Making control and data flow in logic programs explicit
  Published by Association for Computing Machinery (ACM) ,1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984