Polymorphic type inference in Prolog by abstract interpretation

This publication has 5 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Abstract interpretation of Prolog programs
  Lecture Notes in Computer Science, 1986
• OLD resolution with tabulation
  Published by Springer Nature ,1986
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977