"Youyou Cong,Shin-ya Katsumata,Kazuki Niimi,Jonathan Immanuel Brachth?user","Monadic Semantics of Bidirectional Effects","The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022)",,,,,,2022,Sept.