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

Author(s)

Bibliographic Information

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

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

オーム社, 2013.3

Other Title

TAPL

Types and programming languages

Title Transcription

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

Available at  / 143 libraries

Note

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

監訳: 住井英二郎

参考文献: p[451]-484

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

Page Top