Partial Evaluation and Automatic Program Generation (1993)

by Sestoft
Venue:International Series in Computer Science. Prentice-Hall