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

著者

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

書誌事項

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

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

オーム社, 2013.3

タイトル別名

TAPL

Types and programming languages

タイトル読み

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

注記

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

監訳: 住井英二郎

参考文献: p[451]-484

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB12112636
• ISBN:
  • 9784274069116
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: xxi, 503p
• 大きさ: 26cm
• 分類:
  • NDC8 : 007.64
  • NDC9 : 007.64
  • NDLC : M159
• 件名:
  • BSH : プログラミング(コンピュータ)
  • NDLSH : プログラミング用言語