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