「型推論」特別講義

1. 特別講義の意図，MLの型推論の歴史
2. 言語の帰納的な定義
3. 帰納法による証明と帰納原理
4. 自由に生成された集合と再帰的関数
5. 型推論問題、式の主要な型判定
6. 型推論アルゴリズムPTS、型の単一化
7. 型の単一化アルゴリズム、ラムダ計算の型推論のまとめ
8. MLの型推論：現状の正確な理解
9. MLの型推論：新たな型推論戦略、多相型システムλdef
10. MLの型推論：MLの多相型システムλML、付録：λMLとλletの等価性