Functional and constraint logic programming
Constraints in computational logics
A proof theoretic approach to failure in functional logic programming
Theory and Practice of Logic Programming
A lazy narrowing calculus for declarative constraint programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative 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)
| Hi-index | 0.00 |