Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. - Fuga Kawamata; Hiroshi Unno 001; Taro Sekiyama; Tachio Terauchi (Proc. ACM Program. Lang., 2024)