I haven't worked through it yet, but I've heard Benjamin Pierce's Types and Programming Languages (TAPL) is one of the go to books on the topic. http://www.cis

I haven't worked through it yet, but I've heard Benjamin Pierce's Types and Programming Languages (TAPL) is one of the go to books on the topic. http://www.cis.upenn.edu/~bcpierce/tapl/ http://www.cis.upenn.edu/~bcpierce/tapl/