Midtgaard, J. 2007. Control-Flow Analysis of Functional Programs. BRICS Report Series. 14, 18 (Dec. 2007). DOI:https://doi.org/10.7146/brics.v14i18.21936.