Realistic Compilation by Program Transformation.

Richard Kelsey, Paul Hudak

Browse the full POPL paper archive.