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

著者名：Benjamin C.Pierce著/住井英二郎 監訳/遠藤侑介/酒井政裕/今井敬吾/黒木裕介

オーム社（2016/02発売）

• ISBN：9784274069116

内容説明

型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。