Algebraic fusion of functions with an accumulating parameter and its improvement

@article{Katsumata2008AlgebraicFO,
  title={Algebraic fusion of functions with an accumulating parameter and its improvement},
  author={Shin-ya Katsumata and S. Nishimura},
  journal={Journal of Functional Programming},
  year={2008},
  volume={18},
  pages={781 - 819}
}
Abstract This paper develops a new framework for fusion that is designed for eliminating the intermediate data structures involved in the composition of functions that have one accumulating parameter. The new fusion framework comprises two steps: algebraic fusion and its subsequent improvement process. The key idea in our development is to regard functions with an accumulating parameter as functions that operate over the monoid of data contexts. Algebraic fusion composes each such function with… Expand
3 Citations
Lightweight fusion by fixed point promotion
  • 50
  • Highly Influenced
  • PDF
A shortcut fusion approach to accumulations
  • 3
  • PDF

References

SHOWING 1-10 OF 33 REFERENCES
Lightweight fusion by fixed point promotion
  • 50
  • PDF
A Generalization of Short-Cut Fusion and its Correctness Proof
  • P. Johann
  • Computer Science
  • High. Order Symb. Comput.
  • 2002
  • 43
  • PDF
Monadic augment and generalised short cut fusion
  • 16
  • PDF
A fold for all seasons
  • 177
  • PDF
Traced Monoidal Categories
  • 160
  • PDF
On Deforesting Parameters of Accumulating Maps
  • 7
  • Highly Influential
  • PDF
Composition of functions with accumulating parameters
  • 29
Calculating accumulations
  • 7
Generalizing the AUGMENT combinator
  • 6
  • PDF
Fusion with stacks and accumulating parameters
  • 12
  • PDF
...
1
2
3
4
...