Improving Control of Logic Programs by Using Functional Logic Languages

Integration of declarative paradigms: benefits and challenges

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

A unified computation model for functional and logic programming

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Partial evaluation of functional logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A needed narrowing strategy

Journal of the ACM (JACM)

Functional Logic Design Patterns

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming

Implementing functional logic languages using multiple threads and stores

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming

A language for automatically enforcing privacy policies

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Lazy narrowing with simplification

Computer Languages