A typed continuation-passing translation for lexical effect handlers.

Philipp Schuster, Jonathan Immanuel Brachthuser, Marius Mller, Klaus Ostermann

Browse the full PLDI paper archive.