Deriving Structural Hylomorphisms From Recursive Definitions (1996)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:In ACM SIGPLAN International Conference on Functional Programming
Citations:46 - 17 self

Active Bibliography

4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
4 Attribute Grammars and Functional Programming Deforestation – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also - 1997
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
3 Equational Semantics – Loïc Correnson, Inria Rocquencourt - 1999
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
4 Fusion for Free! – Leonidas Fegaras - 1996
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996
3 Towards Manipulation of Mutually Recursive Functions – Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi - 1998
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998