Benjamin Pierce's new textbook, Advanced Topics in Types and Programming Languages (the sequel to TAPL) is out: http://www.cis.upenn.edu/~bcpierce/attapl/ Dave