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