Michel Schinz Martin Odersky Tail call elimination on the Java Virtual Machine. 2001 59 Electr. Notes Theor. Comput. Sci. 1 http://www.elsevier.nl/locate/entcs/volume59.html db/journals/tcs/entcs59.html#SchinzO01