Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
source link: https://research.utwente.nl/en/publications/functional-programming-with-bananas-lenses-envelopes-and-barbed-w
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
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.
Original language Undefined Pages 124-144 Number of pages 21 DOIs Publication status Published - Aug 1991Keywords
- EWI-7281
- IR-56289
Access to Document
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Meijer, E., Hughes, J. (Ed.), Fokkinga, M. M., & Paterson, R. (1991). Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire . 124-144. https://doi.org/10.1007/3540543961_7
Meijer, Erik ; Hughes, J. (Editor) ; Fokkinga, M.M. ; Paterson, Ross. / Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire . 21 p.
@conference{4cec4a43c86444479dc0003182424795,
title = "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire",
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.",
keywords = "EWI-7281, IR-56289",
author = "Erik Meijer and J. Hughes and M.M. Fokkinga and Ross Paterson",
note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003415]",
year = "1991",
month = "8",
doi = "10.1007/3540543961_7",
language = "Undefined",
pages = "124--144",
}
Meijer, E, Hughes, J (ed.), Fokkinga, MM & Paterson, R 1991, ' Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire ' pp. 124-144. https://doi.org/10.1007/3540543961_7
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
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 -
Meijer E, Hughes J, (ed.), Fokkinga MM, Paterson R. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire . 1991. https://doi.org/10.1007/3540543961_7
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK