The Algebra of Programming
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The Algebra of ProgrammingPublished by Springer Nature ,1996
- Solving optimisation problems with catamorphismsPublished by Springer Nature ,1993
- Elements of a relational theory of datatypesPublished by Springer Nature ,1993
- ParamorphismsFormal Aspects of Computing, 1992
- A Simple Program Whose Proof Isn’tPublished by Springer Nature ,1990
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- “Memo” Functions and Machine LearningNature, 1968