Theories of Programming Languages Fall 2012, University of Science and Technology of China

Course Information

Schedule

Lecture Notes

Assignments

Reading Matherials

Projects

News and Announcements

• [11/19/2012] Project proposal due on 12/03, in class.
• [11/12/2012] Assignment 4 posted.
• [10/29/2012] Assignment 3 posted.
• [10/08/2012] Assignment 2 posted.
• [09/17/2012] Assignment 1 posted.
• [09/17/2012] Lecture notes of 09/10 posted.
• [09/10/2012] Welcome to this class! Please take a look at Course Information for details about this course.