Practical partial evaluation for high-performance dynamic language runtimes
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler