本课程是软件理论方面的核心课程，它对于程序语言的设计、实现和应用有着重要的指导作用。本课程将介绍程序语言的基本概念，包括语法、语义等，另外，我们还将介绍类型系统，理解和设计新的类型系统是程序语言领域很重要的内容。同时我们将穿插介绍各种程序语言，以及如何平价一个程序语言。最后，我们还会针对当前并发、并行的发展，提出并发、并行程序语言的设计与相关国际研究热点。

The purpose of this course is to introduce the basic principles, methods, and results of programming languages to graduate students. We intend for students 1) to know the differences between different types of programming languages, including structural languages, functional languages, OO languages and so on; 2) to master the basic principles of programming languages, such as syntax, semantics and type system, which are rigorous for the design and implementation of programming languages; 3) to be introduced to some popular prominent subfields of programming languages, for example, the design of parallel and concurrent programming languages.