Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

  title={Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire},
  author={Erik Meijer and Maarten M. Fokkinga and Ross Paterson},
ions need somewhat more work. _-^ οέ[(λχ.Ε)1 unfold _-^ о LAMBDA χ έ[Ε1 abutting calculation TAKE χ έ[Ε 3 о : extract έ ΐ ( λ χ σ . Ε ) σ Ί ο : (CONST c η ) ν | Ν unfold CONST c^' η evaluate с synthesize RETURN c ^ ή [ ] ( L A M B D A χ £[E T ] τ))-^ (α Η£.) unfold ( L A M B D A χ έ[Ε]1 η α ' σ ) ' τ ¿, evaluate (έ[Ε1 η[χ := с Г Ч Г t IH έ[Ε] ή[χ := α-°-°} £IE] ήίχ := α] £. synthesize ΤΑΚΕ χ έ [ Ε Τ ] ή (α Η£.) Finally for applications we need some creativity to reach the induction step… CONTINUE READING
Highly Influential
This paper has highly influenced 49 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 33 references

Algebraic Types and Program Transformation

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

Tupling and mutumorphisms

  • Maarten Fokkinga
  • The Squiggolist,
  • 1989
Highly Influential
6 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

Algorithmics | towards programming as a mathematical activity

  • Lambert Meertens
  • Proceedings of the CWI symposium on Mathematics…
  • 1986
Highly Influential
8 Excerpts

On the use of composition in transformational programming

  • Roland Backhouse, Jaap van der Woude
  • 1991

Program calculation properties of continuous algebras

  • Maarten Fokkinga, Erik Meijer
  • Technical Report 91-4,
  • 1991
2 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…