Thanks for linking the paper!
That paper is part of a collection of papers, known as The Lambda Papers. If you enjoyed this one, you'll probably want to read the rest:
http://library.readscheme.org/page1.html
Thanks for linking the paper!