双方向エフェクトに関する発表(@ TyDe 2021)

以下の研究が TyDe 2021 で発表されます。

Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser. Contextual Polymorphism Meets Bidirectional Effects.