TAPL

型システム入門 サポートページ

Benjamin C. Pierce 著

住井英二郎 監訳

遠藤侑介・酒井政裕・今井敬吾・黒木裕介・今井宜洋・才川隆文・今井健男 共訳

ISBN 978-4-274-06911-6

Benjamin C. Pierce "Types and Programming Languages" の日本語版サポートサイトです。

ご質問・議論

書籍『型システム入門』(TAPL日本語版)の技術的内容や、型システム全般に関する、日本語での質問と議論は GitHub issues にお願いします(2023年9月以前の議論は Google グループ "taplkatasystem" を参照)。

正誤表

第1刷(第2刷で修正済)

第2刷(第3刷で修正済)

第3刷(第4刷で修正済)

リンク