Topics in Computing: Principles of Programming Languages (Spring 2014)