Highly Influenced

# Calculating Functional Programs

@inproceedings{Gibbons2000CalculatingFP, title={Calculating Functional Programs}, author={Jeremy Gibbons}, booktitle={Algebraic and Coalgebraic Methods in the Mathematics of Program Construction}, year={2000} }

- Published 2000 in Algebraic and Coalgebraic Methods in theâ€¦
DOI:10.1007/3-540-47797-7_5

Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate programs, in the same way that one calculates numeric values in arithmetic. Many useful theorems for such reasoning derive from an algebraic view of programs, built around datatypes and their operations. Traditional algebraic methods concentrate on initial algebras, constructors, and values; dual co-algebraic methodsâ€¦Â CONTINUE READING

Highly Cited

This paper has 80 citations. REVIEW CITATIONS

#### Topics

#### Statistics

Citations per Year

#### 80 Citations

Semantic Scholar estimates that this publication has

**80**citations based on the available data.See our **FAQ** for additional information.