"Kazuki Niimi,Youyou Cong,Hidehiko Masuhara,Jonathan Immanuel Brachth?user","Contextual Polymorphism Meets Bidirectional Effects","The 6th Workshop on Type-Driven Development (TyDe 2021)",,,,,,2021,Aug. "新美和生,叢悠悠,増原英彦","Effekt言語の双方向エフェクトによる拡張","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar.