Babel: A functional and logic programming language based on constructor discipline and narrowing

This publication has 11 references indexed in Scilit:

• Refined strategies for semantic unification
  Published by Springer Nature ,2005
• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Logic programming with equations
  The Journal of Logic Programming, 1987
• Extended unification algorithms for the integration of functional programming into logic programming
  The Journal of Logic Programming, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• The relation between logic and functional languages: a survey
  The Journal of Logic Programming, 1986
• Equational logic as a programming language: Abstract
  Lecture Notes in Computer Science, 1985
• Domains for denotational semantics
  Published by Springer Nature ,1982
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965