The functional logic language BABEL and its implementation on a graph machine

This publication has 16 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Logic programming with functions and predicates: The language Babel
  The Journal of Logic Programming, 1992
• Graph-based implementation of a functional logic language
  Published by Springer Nature ,1990
• Narrowing vs. SLD-resolution
  Theoretical Computer Science, 1988
• Babel: A functional and logic programming language based on constructor discipline and narrowing
  Published by Springer Nature ,1988
• Logic programming with equations
  The Journal of Logic Programming, 1987
• Functional logic languages part I
  Published by Springer Nature ,1987
• Implementing logical variables on a graph reduction architecture
  Published by Springer Nature ,1987
• The relation between logic and functional languages: a survey
  The Journal of Logic Programming, 1986
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982