Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara

Browse the full PPDP paper archive.