@misc{indiciaeb58a06a711ed, title = {Abstracting Effect Systems for Algebraic Effect Handlers}, author = {Takuma Yoshioka and Taro Sekiyama and Atsushi Igarashi}, year = {2024}, url = {https://arxiv.org/abs/2404.16381}, note = {Source identifier: 2404.16381} }