Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
継続とエフェクト
PPL2025におけるカテゴリ3（ポスター・デモ発表）発表
Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
CPS変換・限定継続・プログラミング教育に関するIFL発表