@inproceedings{CTT100879786,
  author = {Youyou Cong and Shin-ya Katsumata and Kazuki Niimi and Jonathan Immanuel Brachthäuser},
  title = {Monadic Semantics of Bidirectional Effects},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100854434,
  author = {Kazuki Niimi and Youyou Cong and Hidehiko Masuhara and Jonathan Immanuel Brachthäuser},
  title = {Contextual Polymorphism Meets Bidirectional Effects},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849132,
  author = {新美和生 and 叢悠悠 and 増原英彦},
  title = {Effekt言語の双方向エフェクトによる拡張},
  booktitle = {},
  year = 2021,
}