John Hannan A Type-Based Escape Analysis for Functional Languages. 239-273 1998 8 J. Funct. Program. 3 db/journals/jfp/jfp8.html#Hannan98