Book
Calculating Functional Programs
- Abstract:
-
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-alg...
Expand abstract
Actions
Authors
Contributors
+ Backhouse, R
Role:
Editor
+ Crole, R
Role:
Editor
+ Gibbons, J
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Editor
Bibliographic Details
- Pages:
- 148-203
- Host title:
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
- Publication date:
- 2002-01-01
- ISSN:
-
0302-9743
Item Description
- UUID:
-
uuid:b5f1f9cd-5780-4e87-8563-3867ee5cbcbc
- Local pid:
- cs:2360
- Deposit date:
- 2015-03-12
Terms of use
- Copyright date:
- 2002
If you are the owner of this record, you can report an update to it here: Report update to this record