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

共立出版
大堀淳　

• 価格: 5,060円（本体4,600円＋税）
• 発行年月: 2019年08月
• 判型: Ａ５
• ISBN: 9784320124509

内容情報

[BOOKデータベースより]

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

[日販商品データベースより]

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