An example of a language implementation that does full TCO and targets the JVM: http://sisc-scheme.org/ http://sisc-scheme.org/ I couldn't find this right away

An example of a language implementation that does full TCO and targets the JVM: http://sisc-scheme.org/ http://sisc-scheme.org/ I couldn't find this right away, but vaguely recall reading SISC transforms to CPS to anable this (and call/cc). I think Kawa scheme supports two calling conventions: the standard JVM one and a second one for which it can do full TCO. The second one is a bit slower so the default in Kawa is not to do full TCO.