Partial Evaluation and Automatic Program Generation (1993)

by N D Jones, C K Gomard, P Sestoft