Integrating logic and functional programming

This publication has 22 references indexed in Scilit:

• Higher-order logic programming
  Published by Springer Nature ,1986
• NARROWER: a new algorithm for unification and its application to Logic Programming
  Lecture Notes in Computer Science, 1985
• Combining unification algorithms for confined regular equational theories
  Published by Springer Nature ,1985
• Handling function definitions through innermost superposition and rewriting
  Published by Springer Nature ,1985
• The categorical abstract machine
  Published by Springer Nature ,1985
• Fundamental properties of infinite trees
  Theoretical Computer Science, 1983
• An improved algorithm for computing with equations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• Proving termination with multiset orderings
  Communications of the ACM, 1979
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940