|
8
|
Diffusion: Calculating Efficient Parallel Programs
– Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki
- 1999
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
11
|
An Accumulative Parallel Skeleton for All
– Z. Hu
- 2001
|
|
|
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion
– Susumu Nishimura, Atsushi Ohori
- 1993
|
|
2
|
A Calculational Framework for Parallelization of Sequential Programs
– Zhenjiang Hu, Masato Takeichi
- 1997
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
2
|
Towards a Modular Program Derivation via Fusion and Tupling
– Wei-Ngan Chin, Zhenjiang Hu
- 2002
|
|
5
|
Construction of List Homomorphisms by Tupling and Fusion
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
|
Enhanced Parallelization via Constraints
– Wei-Ngan Chin National, Wei-ngan Chin, Zhenjiang Hu, Masato Takeichi, Akihiko Takano
- 1997
|
|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
3
|
An Extension Of The Acid Rain Theorem
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
9
|
Computing Downwards Accumulations on Trees Quickly
– Jeremy Gibbons, Jeremy Gibbons
- 1995
|
|
15
|
Declarative Program Transformation: a Deforestation case-study
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1999
|
|
3
|
How to Deforest in Accumulative Parameters?
– Loïc Correnson, How Deforest, Accumulative Parameters, Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel
- 1999
|
|
7
|
Symbolic Composition
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1998
|
|
1
|
Generic Programming by Program Composition
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1998
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
