https://mitpress.mit.edu/books/types-and-programming-languag...
You can find some earlier PDF drafts online if you Google.