@inproceedings{CTT100849134,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849395,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {パラメタライズドモナドによる依存アップデートの形式化に向けて},
  booktitle = {},
  year = 2020,
}