TaPL
読んだことない、しらん
大変らしい
https://www.amazon.co.jp/型システム入門-プログラミング言語と型の理論-BenjaminC.Pierce-ebook/dp/B07CBB69SS