型システム入門 : プログラミング言語と型の理論 | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

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

フォーマット:

図書

責任表示:

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

言語:

日本語

出版情報:

東京 : オーム社, 2013.3

形態:

xxi, 503p ; 26cm

著者名:

Pierce, Benjamin C. <DA05815373>

住井, 英二郎

続きを見る

書誌ID:

BB12112636

ISBN:

9784274069116 [4274069117]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

その他のタイトル:	TAPL Types and programming languages
資料形態(詳細):	Text
主題:	プログラミング用言語
注記:	その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男監訳: 住井英二郎参考文献: p[451]-484
登録日:	2014-01-28
タイトルのヨミ:	カタシステムニュウモン : プログラミングゲンゴトカタノリロン
著者のヨミ:	スミイ, エイジロウエンドウ, ユウスケサカイ, マサヒロイマイ, ケイゴクロキ, ユウスケイマイ, ヨシヒロサイカワ, タカフミイマイ, タケオ
件名のヨミ:	プログラミング(コンピュータ) プログラミングヨウゲンゴ
分類・件名:	NDC8 : 007.64 NDC9 : 007.64 BSH : プログラミング(コンピュータ) NDLSH : プログラミング用言語

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 RubyでつくるRuby : ゼロから学びなおすプログラミング言語入門遠藤, 侑介ラムダノート	7 図書風速変動に対応した小型風力発電システムの最大電力点追従制御法安藤, 侑輝三重大学
2 図書 BOWLING : ボウリング入門・上達の秘訣今井, 敬虹有社	8 図書 LATEX2ε美文書作成入門奥村, 晴彦(1951-), 黒木, 裕介(1982-) 技術評論社
3 図書柿今井, 敬潤法政大学出版局	9 図書 LATEX2ε美文書作成入門奥村, 晴彦(1951-), 黒木, 裕介(1982-) 技術評論社
4 図書柿渋(かきしぶ) 今井, 敬潤法政大学出版局	10 図書 LATEX2ε美文書作成入門奥村, 晴彦 (1951-), 黒木, 裕介 (1982-) 技術評論社
5 図書栗今井, 敬潤法政大学出版局	11 図書心不全進展機序におけるテネイシンCの分子機能の解析および治療法の開発今井, 裕 [今井裕]
6 図書並列計算技術の最適構造設計問題への応用に関する研究井戸, 裕介三重大学	12 図書塩基処理によるグラファイト状窒化炭素の光触媒的水素生成活性の向上に関する研究舘, 裕介三重大学