プログラミング言語の基礎理論　新装版

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて，関数型プログラミング言語の動作やその型システムの原理，さらに，多相型，型推論，継続計算，レコード計算などを含むプログラミング言語の種々の高度な機能の基礎を習得できる。『情報数学講座９　プログラミング言語の基礎理論』として１９９７年初版発行後，以来，長年にわたり多数の読者にご愛読いただいてまいりました。この度，多くの読者からの要望を受け単行本に改装し発行するものです。(「近刊情報」より)

目次

第１章　プログラミング言語のモデル
第２章　型付きラムダ計算
第３章　型付きラムダ計算の拡張
第４章　型推論システム
第５章　多相型言語のモデル
第６章　レコード計算系の理論

本の帯に関して

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

版・表紙について

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