|
型システム入門 : プログラミング言語と型の理論
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
※クリックで国立国会図書館サーチを表示
|
言語 |
日本語 |
原文言語 |
英語 |
出版国 |
日本 |
この本を:
|

件が連想されています

|