Book icon

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


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Editor
Pages:
148-203
Host title:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Publication date:
2002-01-01
ISSN:
0302-9743
UUID:
uuid:b5f1f9cd-5780-4e87-8563-3867ee5cbcbc
Local pid:
cs:2360
Deposit date:
2015-03-12

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP