The book Partial Evaluation and Automatic Program Generation (N.D. Jones, C.K. Gomard, and P. Sestoft) 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.
The full text of the book can be downloaded from the site.
The site includes a short explanation of what partial evaluation is all about, and links to Scheme and Prolog example code from the book.
Posted to implementation by Ehud Lamm on 3/9/02; 4:32:12 AM