An Extension Of The Acid Rain Theorem (1996)

Cached

Download Links

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:In T Ida, A Ohori, and M Takeichi, eds, Proceedings 2nd Fuji Int Workshop on Functional and Logic Programming, Shonan Village
Citations:3 - 2 self

Active Bibliography

46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
32 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi - 1997
22 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
2 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
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
84 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
4 Attribute Grammars and Functional Programming Deforestation – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also - 1997
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
11 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
3 Equational Semantics – Loïc Correnson, Inria Rocquencourt - 1999
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
2 Towards Manipulation of Mutually Recursive Functions – Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi - 1998
8 When is a function a fold or an unfold – Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch - 2001
4 Fusion for Free! – Leonidas Fegaras - 1996
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996