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