There are also newer editions of this book: http://papl.cs.brown.edu/2015/