¥ 11,511
通常配送無料 詳細
残り1点(入荷予定あり) 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
Types and Programming Lan... がカートに入りました

お届け先住所
アドレス帳を使用するにはサインインしてください
または
-
正しい郵便番号を入力してください。
または
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
3点すべてのイメージを見る

Types and Programming Languages (MIT Press) (英語) ハードカバー – 2002/1/4

5つ星のうち 4.0 1 件のカスタマーレビュー

その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
Kindle版
ハードカバー
¥ 11,511
¥ 8,994 ¥ 10,030
click to open popover

キャンペーンおよび追加情報

  • 本カテゴリの商品を2500円以上購入で買取金額500円UPキャンペーン対象商品です。商品出荷時に買取サービスでご利用いただけるクーポンをメールにてご案内させていただきます。 詳細はこちら (細則もこちらからご覧いただけます)
  • 【判型について】 洋書の主な判型については こちらをご確認ください。

  • 【買取サービス】 Amazonアカウントを使用して簡単お申し込み。売りたいと思った時に、宅配買取もしくは出張買取を選択してご利用いただけます。 今すぐチェック。


Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。

商品の説明

内容紹介

A comprehensive introduction to type systems and programming languages.

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.

The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

レビュー

Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects.

(Robin Milner, Computer Laboratory, University of Cambridge)

Written by an outstanding researcher, this book is well organized and very clear, spanning both theory and implementation techniques, and reflecting considerable experience in teaching and expertise in the subject.

(John Reynolds, School of Computer Science, Carnegie Mellon University)

Types and Programming Languages is carefully written with a well-balanced choice of topics. It focusses on pragmatics, with the right level of necessary theory. The exercises in this book range from easy to challenging and provide stimulating material for beginning and advanced readers, both programmers and the more theoretically minded.

(Henk Barendregt, Faculty of Science, Mathematics, and Computer Science, University of Nijmegen, The Netherlands)

Over the last two decades type theory has emerged as the central, unifying framework for research in programming languages. But these remarkable advances are not as well-known as they should be. The rapid advance of research on type systems for programming languages has far outpaced its dissemination to the rest of the field. No more. Pierce's book not only provides a comprehensive account of types for programming languages, but it does so in an engagingly elegant and concrete style that places equal emphasis on theoretical foundations and the practical problems of programming. This book will be the definitive reference for many years to come.

(Robert Harper, Professor, Computer Science Department, Carnegie Mellon University)

商品の説明をすべて表示する

登録情報

  • ハードカバー: 648ページ
  • 出版社: The MIT Press (2002/1/4)
  • 言語: 英語
  • ISBN-10: 0262162091
  • ISBN-13: 978-0262162098
  • 発売日: 2002/1/4
  • 商品パッケージの寸法: 20.3 x 2.7 x 22.9 cm
  • おすすめ度: 5つ星のうち 4.0 1 件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 洋書 - 36,499位 (洋書の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?


カスタマーレビュー

5つ星のうち4.0
他のお客様にも意見を伝えましょう
すべてのカスタマーレビューを見る(1)

トップカスタマーレビュー

2007年3月13日
形式: ハードカバー
0コメント| 29人のお客様がこれが役に立ったと考えています. このレビューは参考になりましたか?はいいいえ違反を報告

Amazon.com で最も参考になったカスタマーレビュー

Amazon.com: 5つ星のうち4.4 18 件のカスタマーレビュー
2人のお客様がこれが役に立ったと考えています.
5つ星のうち5.0PL enthusiasts should start here
2013年10月16日 - (Amazon.com)
形式: ハードカバー|Amazonで購入
3人のお客様がこれが役に立ったと考えています.
5つ星のうち5.0One of the most comprehensive and accessible texts available. ...
2014年12月19日 - (Amazon.com)
形式: ハードカバー|Amazonで購入
3人のお客様がこれが役に立ったと考えています.
5つ星のうち5.0An excellent step-by-step guide from simple types and languages to advanced concepts
2013年3月2日 - (Amazon.com)
形式: ハードカバー|Amazonで購入
5つ星のうち5.0Do not get the kindle version if you want a pleasant experience reading this.
2017年10月19日 - (Amazon.com)
Amazonで購入
5つ星のうち5.0Programmers will be proud to have one
2015年10月11日 - (Amazon.com)
形式: ハードカバー|Amazonで購入
同様の商品をご覧になりませんか? こちらのリンクで参照ください。ブラック