Tokyo Metropolitan University Library

型システム入門 : プログラミング言語と型の理論

Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳 ; : electronic bk. -- オーム社, 2013. w. <EB00022660>
No tag is registered

Bibliography Details

title and statement of responsibility area 型システム入門 : プログラミング言語と型の理論 / Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳
カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
specific material designation code Remote
publication,distribution,etc.,area 東京 : オーム社 , 2013
physical description area 1オンラインリソース
variant titles 異なりアクセスタイトル:TAPL
variant titles 異なりアクセスタイトル:Types and programming languages
note 電子資料の出版事項: KinoDen, 2018
note その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
note 監訳: 住井英二郎
note 参考文献: p[451]-484
NCID KP00005777
text language code Japanese
author link Pierce, Benjamin C. <>
author link 遠藤, 侑介
エンドウ, ユウスケ <>
classification Information science NDC9:007.64
Volume Information
volumes : electronic bk
extra ISBN 9784274069116
Volume Information
extra ISBN 9784274800825