Scott Thibault Charles Consel Julia L. Lawall Renaud Marlet Gilles Muller Static and Dynamic Program Compilation by Interpreter Specialization. 161-178 2000 13 Higher-Order and Symbolic Computation 3 db/journals/lisp/lisp13.html#ThibaultCLMM00