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

>> Google Books

所蔵情報QRコード

型システム入門 : プログラミング言語と型の理論 / Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳

資料種別:

図書

出版情報:

東京 : オーム社, 2013.3

形態:

xxi, 503p ; 26cm

著者名:

Pierce, Benjamin C. <DA05815373>

黒木, 裕介(1982-) <DA18035344>

ISBN:

9784274069116 [4274069117]

書誌ID:

BB12112636

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:

TAPL
Types and programming languages

注記:

その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
監訳: 住井英二郎
参考文献: p[451]-484

タイトルのヨミ:

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

著者名ヨミ:

スミイ, エイジロウ
エンドウ, ユウスケ
サカイ, マサヒロ
イマイ, ケイゴ
クロキ, ユウスケ
イマイ, ヨシヒロ
サイカワ, タカフミ
イマイ, タケオ

主題:

プログラミング用言語

言語:

日本語

目次情報:

第1部 : 型無しの計算体系

第2部 : 単純型

第3部 : 部分型付け

第4部 : 再帰型

第5部 : 多相性

第6部 : 高階の型システム

東工大ブックレビュー

類似資料:

1 図書抽象によるソフトウェア設計 : Alloyではじめる形式手法 Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-) オーム社	7 図書 LATEX2ε美文書作成入門奥村, 晴彦(1951-), 黒木, 裕介(1982-) 技術評論社
2 図書あなたの知らない超絶技巧プログラミングの世界遠藤, 侑介技術評論社	8 図書 LATEX2ε美文書作成入門奥村, 晴彦(1951-), 黒木, 裕介(1982-) 技術評論社
3 図書純粋関数型データ構造 Okasaki, Chris, 稲葉, 一浩(1982-), 遠藤, 侑介ドワンゴ, KADOKAWA (発売)	9 図書 LATEX2ε美文書作成入門奥村, 晴彦 (1951-), 黒木, 裕介 (1982-) 技術評論社
4 学位論文 Study of III-V/Si hybrid photonic active devices using plasma activated bonding 林, 侑介東京工業大学	10 図書なぜ、あなたはJavaでオブジェクト指向開発ができないのか : Javaの壁を克服する実践トレーニング小森, 裕介技術評論社
5 学位論文 Study on shape memory properties and texture of Ti-Nb alloys containing 13th and 14th group elements 福井, 裕介東京工業大学	11 学位論文 Interpolated differential operator scheme on collocated grid 今井, 陽介東京工業大学
6 電子ブック AI・データ分析モデルのレシピ (: electronic bk) 漆畑, 充, 石井, 大輔(1975-), 川崎, 達平, 本木, 裕介 KinoDen	12 図書クローン動物はいかに創られるのか今井, 裕(1953-) 岩波書店