The book Partial Evaluation and Automatic Program
Generation gives a comprehensive presentation of partial
evaluation: theory, techniques, and applications. It is
suitable for self-study, and for graduate courses and advanced
undergraduate courses on program transformation techniques.