Warm Fusion: Deriving Build-Catas from Recursive Definitions (1995)

Cached

Download Links

by John Launchbury , Tim Sheard
Venue:In Conf. on Func. Prog. Languages and Computer Architecture
Citations:73 - 2 self

Active Bibliography

528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
401 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
111 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993