|
型システム入門
プログラミング言語と型の理論
オーム社
2013/03/25
9784274069116
|
| Jpn. or Foreign | 和書 |
|---|---|
| Title | 型システム入門 プログラミング言語と型の理論 |
| Author | Benjamin C. Pierce著 遠藤侑介 [ほか] 共訳 |
| Classification 1 | 007.64 |
| Author No. | P |
| Publisher | オーム社 |
| Pub. Date | 2013/03/25 |
| Price | 6,800 |
| Page | xxi, 503p |
| Size | 26cm |
| ISBN | 9784274069116 |
| Location Code | 02 ２F |
| Shelf Code | 21 情報科学 / 技術.工学 |
| Notes | その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 監訳: 住井英二郎 参考文献: p[451]-484 |
| Subjects | プログラミング(コンピュータ) プログラミング用言語 |
| Contents Note 1 | TAPL |
|---|---|
| Contents Note 2 | Types and programming languages |