Addendum to "The Promotion and Accumulation Strategies in Transformational Programming"
No abstract available.
Related papers
- The Promotion and Accumulation Strategies in Transformational Programming TOPLAS 1984
- Lightweight fusion by fixed point promotion POPL 2007
- Deforesting in Accumulating Parameters via Type-Directed Transformations APLAS 2002
- Folding left and right matters: Direct style, accumulators, and continuations JFP 2023
- Postcondition-preserving fusion of postorder tree transformations CC 2020
- Manipulating accumulative functions by swapping call-time and return-time computations JFP 2012
- Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories JFP 2001
- Composition of functions with accumulating parameters JFP 2004