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

----
CategoryBook CategoryOnlineBook