@inproceedings{CTT100849135,
  author = {古殿 直也 and 叢 悠悠 and 増原 英彦},
  title = {Koka言語に対するエフェクト割り当て最適化},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100835131,
  author = {Youyou Cong and Naoya Furudono and Hidehiko Masuhara},
  title = {On Teaching Type Systems as Macros},
  booktitle = {},
  year = 2020,
}