型システム入門

型システムの理論を体系的に解説した教科書。単純型付きラムダ計算から始め、部分型、多相性、再帰型、存在型へと拡張していき、それぞれについて型安全性を証明する。型の理論を扱う文献を読むための共通の土台になっている。

この本が好きなら

オートマトン言語理論計算論

オートマトン言語理論計算論

ジョン・ホップクロフト(訳: 野崎昭弘) / サイエンス社 / 2003年(第2版) / 翻訳書

技術: 計算理論・形式言語

理論・基礎古典・名著

コンパイラ

アルフレッド・V・エイホ・モニカ・S・ラム・ラビ・セシィ・ジェフリー・D・ウルマン(訳: 原田賢一) / サイエンス社 / 2009年(第2版) / 翻訳書

技術: コンパイラ・言語処理系

理論・基礎古典・名著

計算理論の基礎

マイケル・サイプサー(訳: 田中圭介・藤岡淳・阿部正幸) / 共立出版 / 2023年(第3版) / 翻訳書

技術: 計算理論・形式言語・数学

理論・基礎古典・名著

CODE

チャールズ・ペゾルド(訳: 酒匂寛) / 日経BP / 2024年(第2版) / 翻訳書

技術: コンピュータアーキテクチャ

理論・基礎古典・名著

ヘネシー・パターソン コンピュータアーキテクチャ定量的アプローチ

ジョン・L・ヘネシー・デイビッド・A・パターソン(訳: 中條拓伯・天野英晴・鈴木貢) / エスアイビー・アクセス / 2019年(第6版) / 翻訳書

技術: コンピュータアーキテクチャ

理論・基礎古典・名著

コンピュータグラフィックス理論と実践

コンピュータグラフィックス理論と実践

ジェームズ・D・フォーリー(訳: 佐藤義雄) / オーム社 / 2001年 / 翻訳書

技術: コンピュータグラフィックス

理論・基礎古典・名著

この本からもっと探す →

邦訳版の書誌(オーム社、2013年、ISBN 9784274069116)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「Benjamin C.Pierce 著,住井英二郎 監訳,オーム社開発局 企画編集」による。原著の初版年2002年はOpenLibrary/英語版Wikipediaの書誌による。