Relating accumulative and nonaccumulative functional programs (2001)

by A Kühnemann, R Glück, K Kakehi
Venue:Rewriting Techniques and Applications, LNCS 2051, 154–168, Springer-Verlag