プログラミング言語の基礎理論(新装版) | 誠品線上

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

內容簡介

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

商品規格

活動

• 4/3前 全站滿$2,500享9折
• 4/3前 圖書滿$1,000折$100
• 4/3前 全站滿$1,500享92折