型システム

Types and Programming Languages

型システム入門

1 はじめに

2 数学的準備

3 型なし算術式

4 算術式のML実装

5 型なしラムダ計算

6 項の名無し表現

7 ラムダ計算のML実装

8 型つき算術式

9 単純方つきラムダ計算

10 単純型のML実装

11 単純な拡張

12 正規化

13 参照

14 例外

15 部分型付け

16 部分型付けのメタ理論

17 部分型付けのML実装

18 命令的オブジェクト

19 Featherweight Java

20 再帰型

21 再帰型のメタ理論

22 型再構築

23 全称型

24 存在型

25 System FのML実装

26 有界量化

27 命令的オブジェクト再考

28 有界量化のメタ理論

29 型演算子とカインド

30 高階多相

31 高階部分型付け

32 純粋関数型オブジェクト