Full threadmavelikara·Shriram Krishnamurthi's Programing Languages course (CS1730): http://cs.brown.edu/courses/cs173/2012/View on HN