The Algebra of Programming
Authors:
- Richard BirdRBRichard Bird
- Oege de MoorOMOege de Moor
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 167-203
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The Algebra of Programming1996
- Solving optimisation problems with catamorphisms1993
- Elements of a relational theory of datatypes1993
- ParamorphismsFormal Aspects of Computing, 1992
- A Simple Program Whose Proof Isn’t1990
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- “Memo” Functions and Machine LearningNature, 1968