Partial evaluation of computation process—an approach to a compiler-compiler (1971)

by Yoshihiko Futamura
Venue:Reprinted with revisions in Higher-Order and Symbolic Computation 12(4):381–391