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
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science

Contributors

Role:
Editor
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
Editor
Pages:
148-203
Publication date:
2002
ISSN:
0302-9743
URN:
uuid:b5f1f9cd-5780-4e87-8563-3867ee5cbcbc
Local pid:
cs:2360

Terms of use


Metrics



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

TO TOP