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

Cached

Download Links

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

Active Bibliography

92 Polytypic programming – Patrik Jansson - 2000
11 More Advice on Proving a Compiler Correct: Improve a Correct Compiler – E. Meijer, E. Meijer - 1994
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
39 Querying Nested Collections – Limsoon Wong - 1994
458 Comprehending Monads – Philip Wadler - 1992
59 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
14 Virtual Data Structures – D. Swierstra, D. Swierstra, O. De Moor, O. De Moor - 1992
11 Practical Foundations for Programming Languages – Robert Harper - 2007
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
Specification and Refinement of Functional Programs – Alexander Bunkenburg - 1994
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
1 A Monadic Interpretation of Tactics – Andrew Martin, Jeremy Gibbons - 2002
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
7 The Zip Calculus – Mark Tullsen - 2000
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998