An Extension Of The Acid Rain Theorem (1996)

View PDF

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:4 - 2 self

Active Bibliography

49 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
Programming Constraints to stop deforestation – H. Seidl, M. H. Sm-ensenb
Abstract Lightweight Fusion by Fixed Point Promotion ∗ – unknown authors
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
93 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
34 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
Cheap Tupling Transformation – Zhenjiang Hu , Hideya Iwasaki, Masato Takeichi - 1996