Type directed compilation of row-typed algebraic effects.

Daan Leijen

Browse the full POPL paper archive.