Skip to content

Positive supercompilation for a higher order call-by-value language.

Peter A. Jonsson, Johan Nordlander

VenueA*POPL
Year2009
ProceedingsPOPL

Browse the full POPL paper archive.