Functional programming with bananas, lenses, envelopes and barbed wire

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.

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:	Databases (DB)
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

Show download statistics for this publication

Repository Staff Only: item control page