On the PLT list, the original poster asked about dynamic, static scope and closures. Shriram replied that:
My favorite reference for these kinds of questions is Andrew Appel’s Compiling with Continuations. If you ignore the slightly intimidating title, just about every question along these lines is answered — by the author of the Standard ML compiler. It is, I believe, a vast improvement over its successor, the Tiger book.
The book has been mentioned a few time before. It seems to be available here.