The essence of compiling with traces.

Shu-yu Guo, Jens Palsberg

Browse the full POPL paper archive.