|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
31
|
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
|
|
8
|
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
|
|
22
|
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
|
|
10
|
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
|
|
2
|
Using the Parametricity Theorem for Program Fusion
– Leonidas Fegaras
- 1996
|
|
3
|
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
|
|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
