|
1
|
Program fusion with paramorphisms
– Facundo Domínguez, Alberto Pardo
- 2006
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
29
|
Google’s MapReduce Programming Model — Revisited
– Ralf Lämmel
|
|
3
|
Constructively characterizing fold and unfold
– Tjark Weber, James Caldwell
- 2003
|
|
3
|
An Extension Of The Acid Rain Theorem
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
12
|
Proof Methods for Structured Corecursive Programs
– Jeremy Gibbons, Graham Hutton
- 1999
|
|
42
|
A tutorial on the universality and expressiveness of fold
– Graham Hutton
- 1999
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
15
|
Declarative Program Transformation: a Deforestation case-study
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1999
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
|
Generic Accumulations for Program Calculation
– Mauro Jaskelioff
- 2004
|
|
2
|
Recursion Schemes for Dynamic Programming
– Jevgeni Kabanov, Varmo Vene
|
|
1
|
The expression lemma ⋆
– Ralf Lämmel, Ondrej Rypacek
|
|
|
Cycle Therapy: A Prescription For Fold . . .
– Franklyn Turbak, J. B. Wells
- 2001
|
|
|
Categorial Compositionality III: F-(co)algebras and the Systematicity of Recursive Capacities in Human Cognition
– Steven Phillips, William H. Wilson
- 2012
|
|
|
Towards Merging Recursion and Comonads
– Alberto Pardo Instituto, Alberto Pardo
- 2000
|
