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

こちらの書籍は旧版です。最新版は新装版 プログラミング言語の基礎理論となります。

この書籍は現在お取り扱いできません。

書籍情報
シリーズ名情報数学講座 【9】巻
ISBN978-4-320-02659-9
判型A5 
ページ数286ページ
発行年月1997年02月
本体価格3,600円
プログラミング言語の基礎理論 書影
プログラミング言語の基礎理論

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説した。

目次

第1章 プログラミング言語のモデル

第2章 型付きラムダ計算

第3章 型付きラムダ計算の拡張

第4章 型推論システム

第5章 多相型言語のモデル

第6章 レコード計算系の理論