Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

Erik Meijer, J. Hughes (Editor), M.M. Fokkinga, Ross Paterson

Research output: Contribution to conferencePaper

301 Citations (Scopus)
3126 Downloads (Pure)

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 languageUndefined
Pages124-144
Number of pages21
DOIs
Publication statusPublished - Aug 1991

Keywords

  • EWI-7281
  • IR-56289

Cite this

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