"Compiling effect handlers in capability-passing style."

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics