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

書き込みはありません．

「型システム入門 プログラミング言語と型の理論」 
Benjamin C. Pierce / 住井 英二郎 / 遠藤 侑介 
定価: ￥ 6800 
 
　型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。 
 
第1章 はじめに 
第2章 数学的準備 
■第1部 型無しの計算体系 
第3章 型無し算術式 
第4章 算術式のML実装 
第5章 型無しラムダ計算 
第6章 項の名無し表現 
第7章 ラムダ計算のML実装 
■第2部 単純型 
第8章 型付き算術式 
第9章 単純型付きラムダ計算 
第10章 単純型のML実装 
第11章 単純な拡張 
第12章 正規化 
第13章 参照 
第14章 例外 
■第3部 部分型付け 
第15章 部分型付け 
第16章 部分型付けのメタ理論 
第17章 部分型付けのML実装 
第18章 事例：命令的オブジェクト 
第19章 事例：Featherweight Java 
■第4部 再帰型 
第20章 再帰型 
第21章 再帰型のメタ理論 
■第5部 多相性 
第22章 型再構築 
第23章 全称型 
第24章 存在型 
第25章 System F のML実装 
第26章 有界量化 
第27章 事例：命令的オブジェクト再考 
第28章 有界量化のメタ理論 
■第6部 高階の型システム 
第29章 型演算子とカインド 
第30章 高階多相 
第31章 高階部分型付け 
第32章 事例：純粋関数的オブジェクト 
付録A 演習の解答 
付録B 記法 
参考文献 
訳語集 
規則図一覧 
索引 
 
#BenjaminCPierce #Benjamin_C_Pierce #住井英二郎 #住井_英二郎 #遠藤侑介 #遠藤_侑介 #本 #コンピュータ／コンピュータ
商品の情報
カテゴリー
本・音楽・ゲーム > 本 > コンピュータ/IT
商品の状態
やや傷や汚れあり
5936円型システム入門 プログラミング言語と型の理論本・音楽・ゲーム本型システム入門　プログラミング言語と型の理論 Ｂｅｎｊａｍｉｎ　Ｃ．Ｐｉｅｒｃｅ／著　住井英二郎／監訳　遠藤侑介

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


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


楽天ブックス: 型システム入門 - プログラミング言語と型の理論


よわよわエンジニアがTAPL（型システム入門）を読んだら | sititou70


プログラミングの本を読みたいが、数学が分からなくて読めない｜magurotuna


正規逆輸入品】 型システム入門 プログラミング言語と型の理論


型システム入門　プログラミング言語と型の理論 Ｂｅｎｊａｍｉｎ　Ｃ．Ｐｉｅｒｃｅ／著　住井英二郎／監訳　遠藤侑介


よわよわエンジニアがTAPL（型システム入門）を読んだら | sititou70


Basic 12] 関数型言語 / 型理論 | PPT


プログラミング言語の形式的意味論入門


ゼロから学ぶRust システムプログラミングの基礎から線形型システム


lovelani.com - 型システム入門 プログラミング言語と型の理論 価格比較


www.merceriavalencia.com - 型システム入門 プログラミング言語と型の


型システム入門 第1-4章 / TaPL ch.01-04 - Speaker Deck


購入ネット 【中古】 型システム入門 プログラミング言語と型の理論


型システム入門 プログラミング言語と型の理論【委託】 - 達人出版会


あとがき｜型システム入門 プログラミング言語と型の理論 メモ


書籍紹介】型システム入門 | PPT


新装版 プログラミング言語の基礎理論 | 大堀淳 | 工学 | Kindleストア


型システム入門　プログラミング言語と型の理論 Ｂｅｎｊａｍｉｎ　Ｃ．Ｐｉｅｒｃｅ／著　住井英二郎／監訳　遠藤侑介


「型推論」特別講義 第9回 (プログラミング言語の基礎理論シリーズ）


giginet on X: 


型システム入門 : プログラミング言語と型の理論 独特な店 38.0%割引


型システム入門 プログラミング言語と型の理論 - コンピュータ/IT


書籍「型システム入門」


あなたの知らない超絶技巧プログラミングの世界』サイン会、開催報告


「型推論」特別講義 第２回 (プログラミング言語の基礎理論シリーズ）


よわよわエンジニアがTAPL（型システム入門）を読んだら | sititou70


RubyでつくるRuby ゼロから学びなおすプログラミング言語入門（PDF版


プログラミング言語Standard ML入門 - 共立出版


型システム入門 プログラミング言語と型の理論 発売ニュースに沸き立つ


プログラミング言語の入門が終わったら何の勉強をすればいいの？ - き


あなたの知らない超絶技巧プログラミングの世界』サイン会、開催報告


型システム入門 プログラミング言語と型の理論 - コンピュータ/IT


入門 型入門：つまみぐい本舗


RubyでつくるRuby ゼロから学びなおすプログラミング言語入門 – 技術書


激安大特価！】 【中古】 理論・モデル・応用 動的システム入門


型システム入門 - Journal InTime(2013-05-31)


• • • • • • • • •


購入ネット 【中古】 型システム入門 プログラミング言語と型の理論