Types and programming languages ja p2 0
PDF
B5判 528頁
発行日: 2013.03.25
eBook Store 発売日: 2013.03.29
¥6,800 + 税

購入についてのご注意

  • 電子書籍データには、お客様の識別情報が印字されます。
  • 電子書籍データのご利用は注文者個人に限られます。

サンプルファイルのダウンロード

  • PDF

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

Benjamin C. Pierce著 住井英二郎監訳 遠藤侑介・酒井政裕・今井敬吾・黒木裕介・今井宜洋・才川隆文・今井健男共訳

型システムを理解するうえでの定番書を翻訳

型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”(TAPL)を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

このような方におすすめ

  • 情報科の学生、研究者
  • 静的型付言語を利用するプログラマー

関連情報:

ジャンル

関連書籍

最近チェックした書籍

型システム入門 プログラミング言語と型の理論
¥6,800 + 税