Bananas in Space: Extending Fold and Unfold to Exponential Types (1995)

by Erik Meijer , Graham Hutton
Citations:95 - 6 self

Documents Related by Co-Citation

299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
105 Data structures and program transformation – G Malcolm - 1990
1312 Monads for functional programming – Philip Wadler - 1995
54 Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) – Leonidas Fegaras, Tim Sheard - 1996
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
326 Theorems for free! – Philip Wadler - 1989
28 Polytypic Pattern Matching – Johan Jeuring - 1995
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
41 Calculate Polytypically! – Lambert Meertens - 1996
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990
26 Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28 – M M Fokkinga - 1994
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
226 Functional Data Structures – Chris Okasaki - 1996
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
31 Category Theoretic Approach to Data Types – T Hagino - 1987