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