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

日本語版に寄せて 監訳者序文 実用的情報 序文 謝辞 第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

[hurannsua]

型システム

[sonota88]

達人出版会でも扱ってる https://tatsu-zine.com/books/types-and-programming-languages-ja

[nilab]

「型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したもの」