This course teaches the principles of functional, imperative, and logic programming languages. Topics covered include: meta-circular interpreters, semantics (operational and denotational), type systems (polymorphism, inference, and abstract types), object oriented programming. The course involves substantial programming assignments and problem sets as well as a significant amount of reading. The course uses the Java, C++, or C# programming languages for its assignments.

1.近代程式語言重要特色介紹。 2.在於提供同學在程式語言結構這門課中所需資源，以期能讓同學對於程式結構能有更進一步的幫助與認識。

Concepts of Programming Languages,
Ninth Edition, Robert W. Sebesta, 全華圖書
程式語言結構， 陳維魁， 2004， 儒林圖書