Antonino Yann William Gillard Tetsuro Yamazaki Tomoharu Ugawa Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support. 148-160 2026 SLE https://doi.org/10.1145/3806383.3815525 conf/sle/2026 db/conf/sle/sle2026.html#GillardYU26