以下の研究が HOPE 2021 で発表されます。
Ningning Xie, Youyou Cong, Daan Leijen. First-class Names for Effect Handlers.