A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp

Anders Haraldsson. A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp. In POPL. pages 195-202, 1978.