Tail recursion without space leaks (1992)

by Richard Jones
Venue:J. Funct. Program