There's another response to this that I didn't mention. Shriram is writing a textbook that includes all the material for our advanced intro course and our prog

There's another response to this that I didn't mention. Shriram is writing a textbook that includes all the material for our advanced intro course and our programming languages course. There's a lot of good examples here: http://papl.cs.brown.edu/2013/ http://papl.cs.brown.edu/2013/