Graph-based implementation of a functional logic language

This publication has 11 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Implementation of a Parallel Logic + Functional Language
  Published by Springer Nature ,1990
• Distributed implementation of programmed graph reduction
  Published by Springer Nature ,1989
• Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
  Published by Springer Nature ,1989
• Narrowing vs. SLD-resolution
  Theoretical Computer Science, 1988
• Logic programming with equations
  The Journal of Logic Programming, 1987
• A two-level approach to logic plus functional programming integration
  Published by Springer Nature ,1987
• The relation between logic and functional languages: a survey
  The Journal of Logic Programming, 1986
• Computing with rewrite systems
  Information and Control, 1985
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982