Found in 1 comment on Hacker News
Periodic · 2013-04-25 · Original thread
I learned from Foundations of Programming Languages by John C. Mitchell. However, it is a very dense book and I wouldn't want to work through it without a partner or a class.

http://www.amazon.com/Foundations-Programming-Languages-Comp...

Fresh book recommendations delivered straight to your inbox every Thursday.