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

リンク用タグ生成

ブログ等に掲載するためのリンク用タグです。それぞれの使い方に応じて貼り付けてください。

※出力するタグは変更することがあります。
※書籍詳細用のタグはamazletに準拠しています。
※アフィリエイト等は今のところついておりません。ご了承ください。

書籍詳細用

型システム入門 プログラミング言語と型の理論【電子書籍】

Benjamin C. Pierce(著), 住井英二郎(監訳), 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男(訳)
オーム社
発行日: 2014-04-10
対応フォーマット: PDF

詳細を見る

テキストリンク用

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

画像リンク用