A Complete Narrowing Calculus for Higher-Order Functional Logic Programming

A needed narrowing strategy

Journal of the ACM (JACM)

Functional and constraint logic programming

Constraints in computational logics

Higher-order narrowing with definitional trees

Journal of Functional Programming

Evaluation strategies for functional logic programming

Journal of Symbolic Computation

Rewriting and call-time choice: the HO case

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming

A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions

WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming

Towards the uniform implementation of declarative languages

Computer Languages