PirĂ³g, M., et al.. Typed Equivalence of Effect Handlers and Delimited Control. June 2019, doi:10.4230/lipics.fscd.2019.30.