Towards a semantic theory for equational programming languages

On the correspondence between two classes of reduction systems

Information Processing Letters

Automating control for logic programs

Journal of Logic Programming

Miranda: a non-strict functional language with polymorphic types

Proc. of a conference on Functional programming languages and computer architecture

The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)

Initial Algebra Semantics and Continuous Algebras

Journal of the ACM (JACM)

Operational and Semantic Equivalence Between Recursive Programs

Journal of the ACM (JACM)

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems

Journal of the ACM (JACM)

Programming with Equations

ACM Transactions on Programming Languages and Systems (TOPLAS)

Computing in Systems Described by Equations

Computing in Systems Described by Equations

Domains for Denotational Semantics

Proceedings of the 9th Colloquium on Automata, Languages and Programming

The Theory and Practice of Transforming Call-by-need into Call-by-value

Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming

Implementation of an interpreter for abstract equations

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A proposal for standard ML

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming