Partial Evaluation And Automatic Program Generation

"PartialEvaluation and Automatic Program Generation" by N.D. Jones, C.K. Gomard, and P. Sestoft