Tail Recursion from Universal Invariants.

C. Barry Jay Tail Recursion from Universal Invariants. 151-163 1991 conf/ctcs/1991 Category Theory and Computer Science db/conf/ctcs/ctcs1991.html#Jay91