Positive supercompilation for a higher order call-by-value language (2009)

by Peter Jonsson, Johan Nordlander
Venue:In POPL ’09