"津山勝輝,叢悠悠,増原英彦","エフェクトハンドラを持つ言語に対する依存型付きコンパイラ","第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）",,,,,,2023,Mar.
"Shouki Tsuyama,Youyou Cong,Hidehiko Masuhara","Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)","WITS 2022",,,,,,2022,Jan.
"津山勝輝,叢悠悠,増原英彦","型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.