Results 1 
2 of
2
Programming with bananas, lenses, envelopes and barbed wire
 In FPCA
, 1991
"... We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example Functions in Bird and Wadler's "Introdu ..."
Abstract

Cited by 299 (11 self)
 Add to MetaCart
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example Functions in Bird and Wadler's "Introduction to Functional Programming " can be expressed using these operators. 1
Iteration theories: The equational logic of iterative processes
 EATCS Monographs on Theoretical Computer Science
, 1993
"... This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended audience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical ba ..."
Abstract

Cited by 28 (1 self)
 Add to MetaCart
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended audience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some preliminary facts in Chapter 1. Written both for graduate students and research scientists in theoretical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantical models, the equational properties of the fixed point operation are captured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and infinitary regular languages, trees, synchronization trees, 2categories, and others. We begin with an introduction to the study of universal algebra in the framework of algebraic theories. A calculus is developed for manipulating algebraic theory terms. We proceed to develop the theory and investigate particular classes of examples. The emphasis is on equational proofs, as the title suggests. vii viii