Generic Accumulations for Program Calculation (2004)

Cached

Download Links

by Mauro Jaskelioff

Active Bibliography

10 Generic Accumulations – Alberto Pardo - 2002
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
93 Polytypic programming – Patrik Jansson - 2000
Towards a Theory of Moa – Maarten Fokkinga - 2000
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
37 Google’s MapReduce Programming Model — Revisited – Ralf Lämmel
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
41 Calculate Polytypically! – Lambert Meertens - 1996
9 When is a function a fold or an unfold – Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch - 2001
4 Calculate Categorically! – Maarten Fokkinga - 1992
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans