"Tutorial Notes on Partial Evaluation."

Charles Consel, Olivier Danvy (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics