Functional programming with bananas, lenses, envelopes and barbed wire


Share/Save/Bookmark

Meijer, Erik and Fokkinga, Maarten and Paterson, Ross (1991) Functional programming with bananas, lenses, envelopes and barbed wire. In: 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA, August 26–30, 1991, Cambridge, Massachusetts.

[img]
Preview
PDF
746Kb
Abstract:We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's Introduction to Functional Programming can be expressed using these operators.
Item Type:Conference or Workshop Item
Copyright:© 1991 Springer-Verlag
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/56289
Official URL:http://dx.doi.org/10.1007/3540543961_7
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page