Composition of functions with accumulating parameters
From MaRDI portal
Publication:4669644
DOI10.1017/S0956796803004933zbMath1092.68557MaRDI QIDQ4669644
Janis Voigtländer, Armin Kühnemann
Publication date: 15 April 2005
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
Deaccumulation techniques for improving provability, Composing stack-attributed tree transducers, Algebraic fusion of functions with an accumulating parameter and its improvement
Uses Software