Deforesting in Accumulating Parameters via Type-Directed Transformations
No abstract available.
Related papers
- Composition of functions with accumulating parameters JFP 2004
- Manipulating accumulative functions by swapping call-time and return-time computations JFP 2012
- Folding left and right matters: Direct style, accumulators, and continuations JFP 2023
- Type Inference Builds a Short Cut to Deforestation ICFP 1999
- Algebraic fusion of functions with an accumulating parameter and its improvement JFP 2008
- The Promotion and Accumulation Strategies in Transformational Programming TOPLAS 1984
- Deforestation: Transforming Programs to Eliminate Trees ESOP 1988
- Generating Transformers for Deforestation and Supercompilation SAS 1994