Benjamin Pierce – Software Foundations (opens in new tab)

http://www.cis.upenn.edu/~bcpierce/sf/

And there's a discussion about the book from a year ago:

https://news.ycombinator.com/item?id=7824793