Streaming Representation-Changers (2004)

Cached

Download Links

by Jeremy Gibbons
Venue:LNCS
Citations:3 - 0 self

Active Bibliography

Fission for Program Comprehension – Jeremy Gibbons Oxford, Jeremy Gibbons - 2006
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
2 Program fusion with paramorphisms – Facundo Domínguez, Alberto Pardo - 2006
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
37 Google’s MapReduce Programming Model — Revisited – Ralf Lämmel
Categories and Subject Descriptors: F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs – Neil Sculthorpe
6 Unfolding abstract datatypes – Jeremy Gibbons - 2008
The Under-Performing Unfold A new approach to optimising corecursive programs – Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES – Ondrej Rypacek - 2009
93 Polytypic programming – Patrik Jansson - 2000
1 Polytypic Recursion Patterns – L. S. Barbosa, J. B. Barros, J. J. Almeida - 2000
2 Recursion Schemes for Dynamic Programming – Jevgeni Kabanov, Varmo Vene
5 Parametric Datatype-Genericity – Jeremy Gibbons, Ross Paterson
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
Exploiting algebra/coalgebra duality for program fusion extensions – Facundo Domínguez, Alberto Pardo - 2011
9 When is a function a fold or an unfold – Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch - 2001