Positive Supercompilation for a higher order callby-value language (2007)

by P A Jonsson, J Nordlander
Venue:In: Proc. IFL 2007