型システム入門 : プログラミング言語と型の理論
Benjamin C. Pierce, 住井 英二郎, 遠藤 侑介, 酒井 政裕, 今井 敬吾, 黒木 裕介, 今井 宜洋, 才川 隆文, 今井 健男
型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe
MIT Press発行の解説書“Types And Programming
Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe
MIT Press発行の解説書“Types And Programming
Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
卷:
1
年:
2013
出版:
1
出版社:
オーム社
语言:
japanese
页:
528
ISBN 10:
4274069117
ISBN 13:
9784274069116
文件:
PDF, 139.62 MB
IPFS:
,
japanese, 2013
Amazon 
Barnes & Noble 
Bookshop.org 
转换文件
更多搜索结果
其他特权 
![ジョン・E・ホッブクロフト, R・モトワニ, J・D・ウルマン, 野崎 昭弘, 高橋 正子, 町田 元, 山崎 秀記 — オートマトン 言語理論 計算論 Ⅰ [第2版] (Information & Computing)](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/a7e0139cd93fdb20e28233663c1949eff51fb7aeee7ec19eec66b42098f475f7.jpg)
![ジョン・E・ホッブクロフト, R・モトワニ, J・D・ウルマン, 野崎 昭弘, 高橋 正子, 町田 元, 山崎 秀記 — オートマトン 言語理論 計算論 Ⅱ [第2版] (Information & Computing)](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/41503c311267a240380eac8d52cab9cc60a3a6a8b9d21a82005971b16af6eced.jpg)
关键词
关联书单
