On the algebraic specification of infinite objects—ordered and continuous models of algebraic types

On the algebraic definition of programming languages

ACM Transactions on Programming Languages and Systems (TOPLAS)

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming

IEEE Transactions on Software Engineering

Rewrite, rewrite, rewrite, rewrite, rewrite...

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)

Functional and constraint logic programming

Constraints in computational logics

Composing programs in a rewriting logic for declarative programming

Theory and Practice of Logic Programming

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

A higher-order logical framework for the algorithmic debugging and verification of declarative programs

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

Constraint Functional Logic Programming Revisited

Electronic Notes in Theoretical Computer Science (ENTCS)