Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

@inproceedings{Meijer1991FunctionalPW,
  title={Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire},
  author={Erik Meijer and Maarten M. Fokkinga and Ross Paterson},
  booktitle={FPCA},
  year={1991}
}
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. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 446 CITATIONS

A short cut to parallelization theorems

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Path, a program transformation system for haskell

VIEW 12 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A nanopass framework for commercial compiler development

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1991
2019

CITATION STATISTICS

  • 53 Highly Influenced Citations

  • Averaged 8 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-10 OF 29 REFERENCES

Algebraic Types and Program Transformation

Grant Malcolm
  • PhD thesis,
  • 1990
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Introduction to functional programming

  • Prentice Hall International series in computer science
  • 1988
VIEW 12 EXCERPTS
HIGHLY INFLUENTIAL

Reasoning about Functional Programs

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

A relational theory of types

Roland Backhouse, Jaap van der Woude, Ed Voermans, Grant Malcolm
  • Technical Report ??,
  • 1991
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Constructive functional programming

Richard Bird
  • Marktoberdorf International Summer school on Constructive Methods in Computer Science, NATO Ad- vanced Science Institute Series. Springer Verlag,
  • 1989
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Translating at- tribute grammars into catamorphisms

Maarten Fokkinga, Johan Jeuring, Lambert Meertens, Erik Meijer
  • The Squiggolist,
  • 1991
VIEW 1 EXCERPT

Comprehending Monads

  • LISP and Functional Programming
  • 1990