December 2021
Beginner
840 pages
47h 29m
English
Prerequisite: An understanding of fundamental language and programming background in ML and Haskell, provided in online Appendices B and C, respectively, is requisite for our study of type concepts explored through ML and Haskell in Chapters 7–9.