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

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

Active Bibliography

93 Polytypic programming – Patrik Jansson - 2000
41 Calculate Polytypically! – Lambert Meertens - 1996
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
11 More Advice on Proving a Compiler Correct: Improve a Correct Compiler – E. Meijer, E. Meijer - 1994
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
12 Proof Methods for Structured Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
7 The Zip Calculus – Mark Tullsen - 2000
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008