[spacemanaki]

There's also videos covering that book from some fast-moving lectures that Pierce gave at the Oregon PL Summer School: http://www.cs.uoregon.edu/Research/summerschool/summer12/cur...