TY  - RPRT
TI  - Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
AU  - Fuga Kawamata
AU  - Hiroshi Unno
AU  - Taro Sekiyama
AU  - Tachio Terauchi
PY  - 2023
UR  - https://arxiv.org/abs/2307.15463
ID  - 2307.15463
ER  -