"池守 和槻,叢 悠悠,増原 英彦","代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明","第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）",,,,,,2021,Mar.
"池守 和槻,叢 悠悠,増原 英彦","パラメタライズドモナドによる依存アップデートの形式化に向けて","日本ソフトウェア科学会第37回大会",,,,,,2020,Sept.