型システム入門　プログラミング言語と型の理論
ベンジャミン・C．ピアス

【目次】（「BOOK」データベースより）
第１部　型無しの計算体系／第２部　単純型／第３部　部分型付け／第４部　再帰型／第５部　多相性／第６部　高階の型システム

【著者情報】（「BOOK」データベースより）
Ｐｉｅｒｃｅ，Ｂｅｎｊａｍｉｎ　Ｃ．
Ｐｅｎｎｓｙｌｖａｎｉａ大学計算機・情報科学科教授（Ｓａｌｖａｔｏｒｉ　Ｐｒｏｆｅｓｓｏｒ）。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアＵｎｉｓｏｎのメイン設計者でもある

住井英二郎（スミイエイジロウ）
１９９８年東京大学理学部情報科学科卒業。２０００年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｖｉｓｉｔｉｎｇ　Ｓｃｈｏｌａｒ。２００１年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手（同情報学環流動教員）。２００３年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｒｅｓｅａｒｃｈ　Ａｓｓｏｃｉａｔｅ。２００４年東京大学大学院博士（情報理工学）。２００５年東北大学大学院情報科学研究科助教授（２００７年同准教授）。日本学術振興会賞、日本ＩＢＭ科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞（本データはこの書籍が刊行された当時に掲載されていたものです）