Calculating Accumulations (1999)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Citations:16 - 6 self

Documents Related by Co-Citation

574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
215 Introduction to Functional Programming using Haskell – R Bird - 1998
97 and Order in Algorithmics – Law - 1992
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
37 Theories for Algorithm Calculation – Johan Theodoor Jeuring - 1993
105 Data structures and program transformation – G Malcolm - 1990
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
1312 Monads for functional programming – Philip Wadler - 1995
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
31 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
27 Upwards and downwards accumulations on trees – J Gibbons - 1993
47 Strong categorical datatypes l – J R B Cockett, Dwight Spencer - 1991