DOORS（同志社大学図書館）

カタシステムニュウモン : プログラミングゲンゴトカタノリロン
型システム入門 : プログラミング言語と型の理論 / Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
ラーネッド記念図書館第1開架		007.64\|\|P9136	139200421			予約			仮想書架	予約	仮想書架

書誌ID	BB12595676
本文言語	日本語
別書名	表紙タイトル:TAPL 原タイトル:Types and programming languages
一般注記	その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男監訳: 住井英二郎参考文献: p[451]-484
著者標目	Pierce, Benjamin C. 住井, 英二郎 <スミイ, エイジロウ> 遠藤, 侑介 <エンドウ, ユウスケ> 酒井, 政裕 <サカイ, マサヒロ> 今井, 敬吾 <イマイ, ケイゴ> 黒木, 裕介 <クロキ, ユウスケ> 今井, 宜洋 <イマイ, ヨシヒロ> 才川, 隆文 <サイカワ, タカフミ> 今井, 健男 <イマイ, タケオ>
件　名	BSH:プログラミング(コンピュータ) NDLSH:プログラミング用言語
分　類	NDC8:007.64 NDC9:007.64 NDLC:M159
巻冊次	ISBN:9784274069116 ; PRICE:6800円+税 RefWorks出力（各巻）
NCID	BB12112636

目次・あらすじ