Jeremy Gibbons  Home/Search
Context
Related
| web.comlab.ox.ac.uk...acmmpccalcfp.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.comlab.ox.ac.uk/oucl/work/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Functionalpctiona are merely equations; they may be manipjxxOB by straightforward equational reasoning. InpSUjSSB7jO one can use this style of reasoning to calculatepcnutiBS in the same way that one calculates numeric values in arithmetic. Many useful theorems for such reasoning derive from an algebrai view ofp rograms, built around datatyp es and theirop erations. Traditional algebraic methods concentrate on initial algebras, constructors, and values; dual co-algebrai methods concentrate... (Update)
Active bibliography (related documents): More All
0.0: Relating Categorical Semantics for Intuitionistic.. - Maietti, Maneggia, de.. (Correct)
0.0: Evolutionary Algorithms with Local Search for Combinatorial.. - Land (1998) (Correct)
0.0: Reverse Hillclimbing, Genetic Algorithms and the Busy Beaver.. - Jones, Rawlins (1993) (Correct)
Similar documents based on text: More All
0.2: A Thesis Proposal on Final Coalgebras - Hughes (1998) (Correct)
0.2: Subtyping and Inheritance for Categorical Datatypes - Poll (1997) (Correct)
0.2: Towards Semantics of Guarded Induction - Pavlovic (Correct)
BibTeX entry: (Update)
@misc{ gibbons-chapter,
author = "Jeremy Gibbons",
title = "Chapter 5: Calculating Functional Programs",
url = "citeseer.ist.psu.edu/503099.html" }
Citations (may not include all citations):46 Personal communication (context) - Bird - 1999
1 expWkABSD Bird Meerten formalism (context) - An, of et al.
1 LNCS 669:Mathemati3 of ProgramConstructiB (context) - Bird, Morgan et al. - 1993
1 The Algebra of Programmi (context) - Bird, de Moor
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/): More
Computing Downwards Accumulations on Trees Quickly - Gibbons (1996) (Correct)
Bridging the Algorithm Gap: A Linear-time Functional Program .. - de Moor, Gibbons (1999) (Correct)
Dotted and Dashed Lines in METAFONT - Gibbons (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC