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