Related Works


Recursion removal has long history 
Two monographs
Bauer, Woessner [2]
Partsch [6]

Basic approaches
Outside-in 
use associativity
hard to detect associativity

Inside-out 
start calculation from a value which suffices a termination condition 
if there is no inverse of descent functions, stack is needed