Ikemori, Furudono and Takahashi Presents Bachelor’s Theses
Our members present their bachelor’s theses. (Bachelor thesis presentation)
- Kazuki Ikemori, 代数的エフェクトを持つ計算体系F^effへのエフェクト強制の導入と健全性の証明 (PDF)
- Naoya Furudono, 代数的エフェクトを備えた関数型言語 Koka に対する、エフェクト割り当て最適化 (PDF)
- Shusuke Takahashi, データ構造ライブプログラミング環境の汎言語的な構築手法 (PDF)
