Foundations of Programming Languages

Spring 2017, University of Science and Technology of China

Course Information

Meeting time and classroom

Meeting time:
Classroom:
Office Hours:

M. 3:55pm - 5:30pm; W. 7:50am - 9:25am
3A111
by appointment

Instructors and TA

Instructors: Xinyu Feng
TA: Siyang Xiao <yutio888@mail.ustc.edu.cn>

Textbooks and References

Textbook: Concepts in Programming Languages by John C. Mitchell (at Amazon.cn, out of stock though)
References: TBA