Towards polytypic parallel programming (1998)

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

Active Bibliography

9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion – Susumu Nishimura, Atsushi Ohori - 1993
13 An Accumulative Parallel Skeleton for All – Z. Hu - 2001
2 A Calculational Framework for Parallelization of Sequential Programs – Zhenjiang Hu, Masato Takeichi - 1997
33 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
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
32 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
9 Computing Downwards Accumulations on Trees Quickly – Jeremy Gibbons, Jeremy Gibbons - 1995
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
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, 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
92 Polytypic programming – Patrik Jansson - 2000