TY - RPRT TI - Abstracting Effect Systems for Algebraic Effect Handlers AU - Takuma Yoshioka AU - Taro Sekiyama AU - Atsushi Igarashi PY - 2024 UR - https://arxiv.org/abs/2404.16381 ID - 2404.16381 ER -