Actually, he gives away the book described in the paper: http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/
Actually, he gives away the book described in the paper: http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/