ご使用のブラウザでは、Cookieの設定が無効になっています。
すべての機能を利用するには、ブラウザの設定から当サイトドメインのCookieを有効にしてください。

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

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

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

  • ページ数
    272p
  • ISBN
    978-4-320-12450-9
  • 発売日
    2019年08月

閉じる

例)1234567

[住所の変更]

宅配受取り
店舗受取り(送料無料
セブン-イレブン
その他の店舗

閉じる

[対象店舗]
お急ぎ店舗受取り(324円

数量:

4,600 (税込:4,968

在庫あり

シェアする
Facebook
Twitter
メール

閉じる

ログイン後、改めてメールの送信をお願いします。 ログイン

商品の説明

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

商品詳細情報

フォーマット 単行本
サイズ 21cm
初版の取り扱いについて 初版・重版・刷りの出荷は指定ができません。
また、初版にのみにお付けしている特典(初回特典、初回仕様特典)がある商品は、
商品ページに特典の表記が掲載されている場合でも無くなり次第、終了となりますのでご了承ください。

ページの先頭へ

閉じる

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

閉じる

エラーが発生しました。

読み込み中