We used plai in the Programming Languages course I took last semester (which happened to be taught by Matthew Flatt, one of the authors of htdp). plai is a great book too.