2013年3月 型システム入門 −プログラミング言語と型の理論− 住井 英二郎, 遠藤 侑介, 酒井 政裕, 今井 敬吾, 黒木 裕介, 今井 宜洋, 才川 隆文, 今井 健男 原著者 Benjamin C. Pierce 担当区分 共訳 出版者・発行元 オーム社 総ページ数 528 担当ページ DOI ISBN 4274069117 ID情報 ISBN : 4274069117