Deforestation: Transforming Programs to Eliminate Trees
Abstract elided by the publisher.
Related papers
- Safe Fusion of Functional Expressions II: Further Improvements JFP 1994
- A shortcut fusion rule for circular program calculation Haskell 2007
- Deforesting in Accumulating Parameters via Type-Directed Transformations APLAS 2002
- Generating Transformers for Deforestation and Supercompilation SAS 1994
- Composition of functions with accumulating parameters JFP 2004
- Type Inference Builds a Short Cut to Deforestation ICFP 1999
- Stream fusion: from lists to streams to nothing at all ICFP 2007
- Constraints to Stop Higher-Order Deforestation POPL 1997