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

Documents Related by Co-Citation

195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
111 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
301 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
401 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
330 Theorems for free! – Philip Wadler - 1989
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
73 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995