Flow-directed Closure Conversion for Typed Languages Henry Cejtin, Suresh Jagannathan, and Stephen Weeks European Symposium on Programming (ESOP), March/April 2000. (part of ETAPS)