情報・コンピュータ 復刊・復刻・新装版

新装版

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

  • ISBN:978-4-320-12450-9
  • 判型/ページ数:A5 / 286ページ
  • 発売日:2019年08月13日
  • 本体価格:4,600円

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて,関数型プログラミング言語の動作やその型システムの原理,さらに,多相型,型推論,継続計算,レコード計・・・

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