tail call elimination on the java virtual machine .
Compiling standard ML to Java bytecodes