Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
型システム
配列・テンソル形状のための型システム
計算資源管理
漸進的型付け
継続とエフェクト
制御演算子を持つオブジェクト指向言語
依存型とエフェクト
エフェクト機構の間の型安全な変換