"古殿 直也,叢 悠悠,増原 英彦","Koka言語に対するエフェクト割り当て最適化","第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)",,,,,,2021,Mar. "Youyou Cong,Naoya Furudono,Hidehiko Masuhara","On Teaching Type Systems as Macros","The Scheme and Functional Programming Workshop (Scheme '20)",,,,,,2020,Aug.