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. 
BETA

Citations

Publications citing this paper.

FILTER CITATIONS BY YEAR

1991
2019

CITATION STATISTICS

  • 49 Highly Influenced Citations

  • Averaged 11 Citations per year over the last 3 years

References

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

Algebraic Types and Program Transformation

  • Grant Malcolm
  • PhD thesis,
  • 1990
Highly Influential
8 Excerpts

A relational theory of types

  • Roland Backhouse, Jaap van der Woude, Ed Voermans, Grant Malcolm
  • Technical Report ??,
  • 1991
Highly Influential
4 Excerpts

Constructive functional programming

  • Richard Bird
  • Marktoberdorf International Summer school on…
  • 1989
Highly Influential
9 Excerpts

Translating at- tribute grammars into catamorphisms

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

Similar Papers

Loading similar papers…