Theory of Programming Languages

Spring 2016

Course Description:

This course introduces students to programming language theory including formal semantics and type theory. The major topics covered in the course are operational, axiomatic, and denotational semantics of imperative and functional languages with higher types, along with some mathematical techniques used to formalize and reason about programming languages. Beyond exploring the classic semantic theory, the course tries to give some hints on the latest development of programming languages.

InstructorYuxin Deng
Office Room B1115, Science Building
Office
Hour
10am - 2pm, Monday - Friday
Phone 021-62231281
E-mail yxdeng(AT)sei.ecnu.edu.cn
Homepage basics.sjtu.edu.cn/~yuxin/

Reading Materials



Topics:

Courseware:

The slides are available here.

Grades:



Back