"So we see that an accumulator is often just a representation of a continuation. This is impressive. Quite a few classic program optimizations turn out to be instances of this idea."
"When defining a procedure that operates on inductively defined data, the structure of the program should be patterned after the structure of the data."