Calculating Accumulations (1999)

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

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
32 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
2 A Calculational Framework for Parallelization of Sequential Programs – Zhenjiang Hu, Masato Takeichi - 1997
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
10 Generic Accumulations – Alberto Pardo - 2002
Catamorphism-Based Transformation of Functional Programs – Zhenjiang Hu Hideya, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1994
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
12 Make it Practical: A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems – Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa - 2000
92 Polytypic programming – Patrik Jansson - 2000
90 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
41 Calculate Polytypically! – Lambert Meertens - 1996
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
4 Calculating a New Data Mining Algorithm for Market Basket Analysis – Zhenjiang Hu, Wei-ngan Chin, Masato Takeichi - 2000
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995