The author, Benjamin Pierce, also wrote the book Types and Programming Languages, among others.

His website: http://www.cis.upenn.edu/~bcpierce/