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

Author(s)

• Pierce, Benjamin C.
• 住井, 英二郎 スミイ, エイジロウ
• 遠藤, 侑介 エンドウ, ユウスケ
• 酒井, 政裕 サカイ, マサヒロ
• 今井, 敬吾 イマイ, ケイゴ
• 黒木, 裕介 クロキ, ユウスケ
• 今井, 宜洋 イマイ, ヨシヒロ
• 才川, 隆文 サイカワ, タカフミ
• 今井, 健男 イマイ, タケオ

Bibliographic Information

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

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

オーム社, 2013.3

Other Title

TAPL

Types and programming languages

Title Transcription

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

Note

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

監訳: 住井英二郎

参考文献: p[451]-484

Description and Table of Contents

Table of Contents

• 第１部　型無しの計算体系
• 第２部　単純型
• 第３部　部分型付け
• 第４部　再帰型
• 第５部　多相性
• 第６部　高階の型システム

by "BOOK database"

Details

• NCID: BB12112636
• ISBN:
  • 9784274069116
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: xxi, 503p
• Size: 26cm
• Classification:
  • NDC8 : 007.64
  • NDC9 : 007.64
  • NDLC : M159
• Subject Headings:
  • BSH : プログラミング(コンピュータ)
  • NDLSH : プログラミング用言語