Danvy, O., & Nielsen, L. R. (2004). CPS Transformation of Beta-Redexes. BRICS Report Series, 11(39). https://doi.org/10.7146/brics.v11i39.21864