The comments in this thread are so gushing that I suspected we were being scammed by vanity accounts trying to flog this guys wares (books), but they're mostly from big karma/long time readers so I was wrong. Okay, so other than being a hyper-intelligent pan-galactic sex god, what has this guy done for us lately? (read as: request for more info and less gushing. Let's just take the gushing as given)
"trying to flog this guys wares (books)"
Actually, he gives away the book described in the paper: http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/