Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
型システム
依存型とエフェクト
Monae: Coqのためのモナディックエフェクトと等式推論
型安全インタプリタ
依存型付き音楽
エフェクト機構の間の型安全な変換