Yoshihiko Futamura Partial Evaluation of Computation Process, Revisited. 377-380 1999 12 Higher-Order and Symbolic Computation 4 db/journals/lisp/lisp12.html#Futamura99