Bernd Grobauer Zhe Yang The Second Futamura Projection for Type-Directed Partial Evaluation. 173-219 2001 14 Higher-Order and Symbolic Computation 2-3 db/journals/lisp/lisp14.html#GrobauerY01