The course materials for our first-semester introductory programming course (which I’ve discussed elsewhere on this blog) are now available here.
The course materials for our second-semester data structures and algorithms course are available here.
Thanks to Dan Licata and Guy Blelloch for helping make these available. Comments are most welcome.
Update: I will be giving a talk about this at Google Pittsburgh on Thursday the 20th of September.
Posted by Robert Harper 
Existential Type 