型システム入門
プログラミング言語と型の理論
オーム社
2013/03/25
9784274069116
表紙画像は「紀伊國屋書店」のものを使用しています。
画像をクリックすると紀伊國屋書店のオンラインストアの詳細ページを表示します。 |
和洋区分 | 和書 |
---|---|
書名,巻次,叢書名 | 型システム入門 プログラミング言語と型の理論 |
著者名 | Benjamin C. Pierce著 遠藤侑介 [ほか] 共訳 |
出 版 者 | オーム社 |
出版年月日 | 2013/03/25 |
定価 | 6,800 |
ペ ー ジ | xxi, 503p |
サ イ ズ | 26cm |
ISBN1 | 9784274069116 |
注記 | その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 監訳: 住井英二郎 参考文献: p[451]-484 |
件名 | プログラミング(コンピュータ) プログラミング用言語 |
内容細目1 | TAPL |
---|---|
内容細目2 | Types and programming languages |