@inproceedings{CTT100885300,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {エフェクトハンドラを持つ言語に対する依存型付きコンパイラ},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100873856,
  author = {Shouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100861225,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて},
  booktitle = {},
  year = 2021,
}