Correct Flow Analysis in Continuation Semantics.

Margaret Montenyohl, Mitchell Wand

Browse the full POPL paper archive.