[AndrewO]

Looks interesting, but can we get some background about why it's particularly remarkable? I haven't heard of the author, and though it's an interesting topic, there seem to be a lot of other textbooks in the same field. What's special about this one?

[noblethrasher]

The author is an accomplished computer scientist in his own right but he's recently become more (in)famous for his critiques of Haskell in his new blog: http://existentialtype.wordpress.com/

Here's a recent HN discussion: http://news.ycombinator.com/item?id=4380900

[jmount]

He is one of the major experts on type systems: http://en.wikipedia.org/wiki/Robert_Harper_(computer_scienti...