Software Foundations Assignments for CS05115, Theories of Programming Languages Fall 2013, University of Science and Technology of China