Managing continuations for proper tail recursion
Proceedings of the 2010 international conference on Lisp (ILC '10)
By Masahiro Yasugi, Seiji Umatani, Tasuku Hiraishi, Tsuneyasu Komiya
Issue Date:October 2010
Implementations of Scheme are required to be properly tailrecursive and to support an unbounded number of active tail calls. Clinger proposed a formal definition of proper tail recursion based on space efficiency. This definition encompasses systematic tai...