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/summer

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/curriculum.html http://www.cs.uoregon.edu/Research/summerschool/summer12/cur...