Comment by mavelikara

Shriram Krishnamurthi's Programing Languages course (CS1730): http://cs.brown.edu/courses/cs173/2012/