Types and Programming Languages
https://www.ohmsha.co.jp/Portals/0/book/large/978-4-274-06911-6.jpg https://www.ohmsha.co.jp/book/9784274069116/
邦題「型システム入門」
プログラミング言語の型について詳しく解説された本
とてもいい本なんだけど積んでる、いつか読みたいkuuote.icon
序文に章の依存関係のグラフが載ってるんだけど、これを見ただけで分解してScrapboxにインポートしたくなってくる