The anatomy of a loop: a story of scope and control (2005)

by O Shivers
Venue:In ACM SIGPLAN International Conference on Functional Programming