Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (1991)

Cached

Download Links

by Erik Meijer , Maarten Fokkinga , Ross Paterson
Citations:298 - 11 self

Documents Related by Co-Citation

105 Data structures and program transformation – G Malcolm - 1990
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
1312 Monads for functional programming – Philip Wadler - 1995
97 and Order in Algorithmics – Law - 1992
326 Theorems for free! – Philip Wadler - 1989
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990
28 Polytypic Pattern Matching – Johan Jeuring - 1995
456 Comprehending Monads – Philip Wadler - 1992
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
42 Calculating compilers – E Meijer - 1992
31 Category Theoretic Approach to Data Types – T Hagino - 1987
19 Polytypic unification – P Jansson, J Jeuring - 1998
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
35 Homomorphisms and promotability – G Malcolm - 1989