Simon L. Peyton Jones Will Partain André Santos Let-floating: Moving Bindings to Give Faster Programs. 1-12 1996 ICFP db/conf/icfp/icfp96.html#JonesPS96