From a PL perspective, you can't beat Benjamin Pierce's Types and Programming Languages.

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