オーム社 eBook Storeの商品について 電子書籍データ商品は、ご注文手続き後、ご注文者の元に届くメールに記載されたURLからダウンロードできます。 電子書籍データ商品は、ご注文者個人限りで利用できるものです。法人・組織でのご注文はお問い合わせください。 代金の支払いは、クレジットカード・PayPalとなります。 全書籍カタログを表示
![オーム社 eBook Store](https://cdn-ak-scissors.b.st-hatena.com/image/square/ce5c6a6227ba5d444c184e9b76c2a27c25ef35d1/height=288;version=1;width=512/https%3A%2F%2Fd3mo2u0k1926zu.cloudfront.net%2Fuploads%2Fcampaign%2Fimage_og%2F1%2Fog-image-campaign.png)
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”(TAPL)を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く