Andre Vieira. A Partial Survey on Partial Evaluation. In Eelco Visser, editor, Proceedings of the Seminar on Meta-Programming (SMP 2010). 2010.
This paper shortly explains the principles of Partial Eval- uation and attempts to provide an insight of the current state of re- search in this eld. Topics such as binding-time analysis, termination, self-application and partial evaluation systems are covered.