Improving Programs which Recurse over Multiple Inductive Structures (1994)

by Leonidas Fegaras , Tim Sheard , Tong Zhou
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94
Citations:25 - 6 self

Active Bibliography

4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
12 Efficient Optimization of Iterative Queries – Leonidas Fegaras - 1993
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
9 Calculating Software Generators from Solution Specifications – Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou - 1994
1 Simplifying Parallel List Traversal – Jan-willem Maessen, Jan-willem Maessen - 1995
3 Eliminating Intermediate Lists in pH using Local Transformations – Jan-Willem Maessen - 1994
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
54 Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) – Leonidas Fegaras, Tim Sheard - 1996
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
39 Querying Nested Collections – Limsoon Wong - 1994