Note: this section is a work in progress!

[1] This technique is an integral part of the compilation process, which we shall discuss in chapter 5. Jonathan Rees wrote a Scheme interpreter like this in about 1982 for the T project (Rees and Adams 1982). Marc Feeley 1986 (see also Feeley and Lapalme 1987) independently invented this technique in his master's thesis.
[2] There is, however, an important part of the variable search that can be done as part of the syntactic analysis.
[3] See exercise 4.14 for some insight into the processing of sequences.
4.1.7 Separating Syntactic Analysis from Execution