It's a brilliant book, a professor at my university used it for teaching SECD machine implementation. I'm glad that I could get it from the library. If you're interested in these kind of things, Henderson's "Functional Programming -- Application and Implementation" might also your thing. (IIRC the list did not contain it.)

The original lambda papers might be on your want-to-read list, too: http://library.readscheme.org/page1.html; I liked the AIM-453 TR, "The Art of the Interpreter, or, The Modularity Complex" by G. Steele and G. Sussman.