型システム入門 : プログラミング言語と型の理論

著者

書誌事項

型システム入門 : プログラミング言語と型の理論

Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳

オーム社, 2013.3

タイトル別名

TAPL

Types and programming languages

タイトル読み

カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン

大学図書館所蔵 件 / 128

注記

その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男

監訳: 住井英二郎

参考文献: p[451]-484

内容説明・目次

目次

  • 第1部 型無しの計算体系
  • 第2部 単純型
  • 第3部 部分型付け
  • 第4部 再帰型
  • 第5部 多相性
  • 第6部 高階の型システム

「BOOKデータベース」 より

詳細情報

ページトップへ