The problem of tail calls and security on the JVM Here are two papers that address the problem of tail calls and security on the JVM: A Tail-Recursive Semantics for Stack Inspections A Tail-Recursive Machine with Stack Inspection (via Jens via Debasish) You might also like some of these
