Using circular programs to deforest in accumulating parameters (2004)

by J Voigtländer
Venue:Higher–Order and Symbolic Computation