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

Benjamin C.Pierce 著 ; 住井英二郎 監訳 ; オーム社開発局 企画編集

[目次]

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

「BOOKデータベース」より

この本の情報

書名 型システム入門 : プログラミング言語と型の理論
著作者等 Pierce, Benjamin C
オーム社
住井 英二郎
遠藤 侑介
黒木 裕介
今井 健男
今井 宜洋
今井 敬吾
才川 隆文
酒井 政裕
書名ヨミ カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
書名別名 TYPES AND PROGRAMMING LANGUAGES
出版元 オーム社
刊行年月 2013.3
ページ数 503p
大きさ 26cm
ISBN 978-4-274-06911-6
NCID BB12112636
※クリックでCiNii Booksを表示
全国書誌番号
22223809
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想