資料詳細

【図書】 型システム入門

プログラミング言語と型の理論 --
Ｂｅｎｊａｍｉｎ　Ｃ．Ｐｉｅｒｃｅ／著, 住井英二郎／監訳, 遠藤侑介／共訳, 酒井政裕／共訳, 今井敬吾／共訳, 黒木裕介／共訳, 今井宜洋／共訳, 才川隆文／共訳, 今井健男／共訳 -- オーム社 -- ２０１３．３ -- ２６ｃｍ -- ５０３ｐ

タイトル	型システム入門
副書名	プログラミング言語と型の理論
著者名等	Ｂｅｎｊａｍｉｎ　Ｃ．Ｐｉｅｒｃｅ／著, 住井英二郎／監訳, 遠藤侑介／共訳, 酒井政裕／共訳, 今井敬吾／共訳, 黒木裕介／共訳, 今井宜洋／共訳, 才川隆文／共訳, 今井健男／共訳
出版	オーム社２０１３．３
大きさ等	２６ｃｍ５０３ｐ
分類	007.64
件名	プログラミング言語
注記	Ｔｙｐｅｓ　ａｎｄ　ｐｒｏｇｒａｍｍｉｎｇ　ｌａｎｇｕａｇｅｓ．の翻訳
注記	文献あり　索引あり
目次	第１部　型無しの計算体系；第２部　単純型；第３部　部分型付け；第４部　再帰型；第５部　多相性；第６部　高階の型システム
ISBN(13)、ISBN	978-4-274-06911-6　　 4-274-06911-7
書誌番号	1113035685

所蔵

所蔵は 2 件です。現在の予約件数は 0 件です。