I downloaded it, but compiler design is not my area. I do like his talks and he champions Iverson's Notation as a Tool of Thought very well. I hope to read it over the holiday.