Midtgaard, J. Control-Flow Analysis of Functional Programs. BRICS 2007, 14.