Tail recursion without space leaks (1992)

by Richard Jones
Venue:Journal of Functional Programming