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

関数型言語MLの一種Objective Camlを題材としてプログラミング言語の意味論，型システム，プログラミング言語の基礎概念，これらの概念間の数学的な関連を学ぶ．オンライン演習システムを用いて，「証明」を解答とする演習問題の正誤をWeb上で自動判定することもできる．

目次

第１部　導出システム入門（自然数の加算・乗算・比較
メタ定理と帰納法による証明）
第２部　ＭＬの操作的意味論（整数・真偽値式の評価
定義、変数束縛と環境
関数と再帰
静的有効範囲と名前無し表現
リストとパターンマッチング）
第３部　ＭＬの型システム（単純型システム
多相的型システム
型推論）

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。