Henry Cejtin Suresh Jagannathan Stephen Weeks Flow-Directed Closure Conversion for Typed Languages. 56-71 2000 conf/esop/2000 ESOP http://link.springer.de/link/service/series/0558/bibs/1782/17820056.htm db/conf/esop/esop2000.html#CejtinJW00