『プログラミング言語の基礎概念』 - is-hoku

『プログラミング言語の基礎概念』

https://www.saiensu.co.jp/bookImages/2011-978-4-7819-1285-1.jpg

2020 年 7 月 10 日初版 4 刷

第 1 部導出システム入門

第 1 章自然数の加算・乗算・比較

導出システム (derivation system)

導出木 (derivation tree)

評価 (evaluation)

簡約 (reduction)

第 2 章メタ定理と帰納法による証明

第 2 部 ML の操作的意味論

第 3 章整数・真偽値式の評価

第 4 章定義，変数束縛と環境

第 5 章関数と再帰

第 6 章静的有効範囲と名前無し表現

第 7 章リストとパターンマッチング

第 3 部 ML の型システム

第 8 章単純型システム

第 9 章多相的型システム

第 10 章型推論