• 本

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

出版社名 オーム社
出版年月 2013年3月
ISBNコード 978-4-274-06911-6
4-274-06911-7
税込価格 7,344円
頁数・縦 503P 26cm

この商品を買った人は、こちらにも興味をもっています

商品内容

目次

第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科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです)