The unification of functional and logic languages-towards constraint functional programming

This publication has 7 references indexed in Scilit:

• A fully abstract semantics for a functional language with logic variables
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Functional programming with sets
  Published by Springer Nature ,1987
• Equations, sets, and reduction semantics for functional and logic programming
  Published by Association for Computing Machinery (ACM) ,1986
• Miranda: A non-strict functional language with polymorphic types
  Lecture Notes in Computer Science, 1985
• Functional programing and the logical variable
  Published by Association for Computing Machinery (ACM) ,1985
• Foundations of Logic Programming
  Published by Springer Nature ,1984