Recursive Functions of Symbolic Expressions and Their Computation by Machine
When did folks realize the true power of "code is data"--that a homoiconic language would let you build a powerful macro system? I don't really get the impression that that idea had taken hold at the time of this paper.