Theories of Programming Languages
Fall 2012, University of Science and Technology of China
Course Information
Meeting time and classroom
Meeting time:
Classroom:
Office Hours:
 
 
Monday, 2:00pm - 4:25pm
3313
Monday, 1:00pm - 2:00pm
or by appointment
Textbooks and References
Instructor:
Xinyu Feng
Textbooks and References
Textbooks: lecture notes and handouts
References:
John C. Reynolds. Theories of Programming Languages, Cambridge University Press.
Robert Harper,
Practical Foundations for Programming Languages
.
Benjamin C. Pierce, et al.
Software Foundations
(a
local copy
).
Hanne Riis Nielson, Flemming Nielson.
Semantics with Applications: A Formal Introduction
.
back