Making Recursions Manipulable by Constructing Medio-types (1995)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:University of Tokyo
Citations:2 - 2 self

Active Bibliography

16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
41 Calculate Polytypically! – Lambert Meertens - 1996
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
5 Construction of List Homomorphisms by Tupling and Fusion – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
11 A library of constructive skeletons for sequential style of parallel programming – Kiminori Matsuzaki, Hideya Iwasaki - 2006
4 Attribute Grammars and Functional Programming Deforestation – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also - 1997
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
9 Calculating Software Generators from Solution Specifications – Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou - 1994
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997