CfPBoK
by
Vadim Zaytsev
sle2026/paper04
SLE 2026
paper:
Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support
Antonino Yann William Gillard
,
Tetsuro Yamazaki
,
Tomoharu Ugawa
URL:
https://conf.researchr.org/details/sle-2026/sle-2026/14/Dynamic-Wind-for-OCaml-Effect-Handlers-with-Escaping-Continuation-Support
T1C: Behavioural Semantics
Judging from the title, seems like a dynamic semantics paper
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.