Neil D. Jones, Carsten K. Gomard, Peter Sestoft.
Partial Evaluation and Automatic Program Generation.
Prentice Hall. 1993
rating : 3 : worth reading
Partial evaluation reconciles generality with efficiency
by providing automated specialization and optimization of programs.
This book covers the entire field of partial evaluation
and takes the reader through a gentle introduction to state-of-the-art techniques.
It is the first complete book on automatic partial evaluation
to provide a practical and theoretically well-founded overview.
Simple and complete algorithms are included and the book demonstrates by numerous examples that specialization can increase efficiency considerably.