Danvy, O., & Schultz, U. P. (1999). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, 6(27). https://doi.org/10.7146/brics.v6i27.20096