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

個数:
電子版価格 ¥7,344
  • 電書あり

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

  • ウェブストア用在庫がございますが僅少です
    (※複数冊ご注文はお受けできません)
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷予定日】
    ■通常ご注文日の翌々日~4日後に出荷

    【ご注意事項】 ※必ずお読みください
    ◆在庫状況は刻々と変化しており、ご注文手続き中やご注文後に在庫切れとなることがございます。
    ◆出荷予定日は確定ではなく、表示よりも出荷が遅れる場合が一部にございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。
  • ●店舗受取サービス(送料無料)をご利用いただけます。
    【カートに入れる】を選択後に全国店舗の中からお受け取り店をご指定下さい。詳細はこちら
  • ●この商品は国内送料無料です。
  • サイズ B5判/ページ数 503p/高さ 26cm
  • 商品コード 9784274069116
  • NDC分類 007.64
  • Cコード C3055

目次

第1部 型無しの計算体系
第2部 単純型
第3部 部分型付け
第4部 再帰型
第5部 多相性
第6部 高階の型システム

著者等紹介

Pierce,Benjamin C.[PIERCE,BENJAMIN C.] [Pierce,Benjamin C.]
Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアUnisonのメイン設計者でもある

住井英二郎[スミイエイジロウ]
1998年東京大学理学部情報科学科卒業。2000年Pennsylvania大学Visiting Scholar。2001年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手(同情報学環流動教員)。2003年Pennsylvania大学Research Associate。2004年東京大学大学院博士(情報理工学)。2005年東北大学大学院情報科学研究科助教授(2007年同准教授)。日本学術振興会賞、日本IBM科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。