Algebraic fusion of functions with an accumulating parameter and its improvement

DOI10.1017/S095679680800693XzbMath1155.68351OpenAlexW2146828411MaRDI QIDQ3546049

Susumu Nishimura, Shin-ya Katsumata

Publication date: 18 December 2008

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s095679680800693x

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Manipulating accumulative functions by swapping call-time and return-time computations

Cites Work

• Deforestation: Transforming programs to eliminate trees
• Macro tree transducers
• Composition and evaluation of attribute coupled grammars
• Using circular programs to deforest in accumulating parameters
• A generalization of short-cut fusion and its correctness proof
• Formal efficiency analysis for tree transducer composition
• Monadic augment and generalised short cut fusion
• Lightweight fusion by fixed point promotion
• A Transformation System for Developing Recursive Programs
• Initial Algebra Semantics and Continuous Algebras
• Composition of functions with accumulating parameters

This page was built for publication: Algebraic fusion of functions with an accumulating parameter and its improvement