Abstract
| Language | Undefined |
|---|---|
| Pages | 124-144 |
| Number of pages | 21 |
| DOIs | |
| Publication status | Published - Aug 1991 |
Keywords
- EWI-7281
- IR-56289
Cite this
}
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. / Meijer, Erik; Hughes, J. (Editor); Fokkinga, M.M.; Paterson, Ross.
1991. 124-144.Research output: Contribution to conference › Paper › Academic › peer-review
TY - CONF
T1 - Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
AU - Meijer, Erik
AU - Fokkinga, M.M.
AU - Paterson, Ross
A2 - Hughes, J.
N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003415]
PY - 1991/8
Y1 - 1991/8
N2 - 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.
AB - 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.
KW - EWI-7281
KW - IR-56289
U2 - 10.1007/3540543961_7
DO - 10.1007/3540543961_7
M3 - Paper
SP - 124
EP - 144
ER -