A lazy narrowing calculus for functional logic programming with algebraic polymorphic types

Functional and constraint logic programming

Constraints in computational logics

TOY: A Multiparadigm Declarative System

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications

A general framework for lazy functional logic programming with algebraic polymorphic types

Theory and Practice of Logic Programming

A new generic scheme for functional logic programming with constraints

Higher-Order and Symbolic Computation

Constraint Functional Logic Programming Revisited

Electronic Notes in Theoretical Computer Science (ENTCS)