Lecturer: Tyng-Ruey Chuang 莊庭瑞

The purpose of this course is to equip students with basic knowledge of denotational semantics of functional programming languages.

None.

• A functional programming language.
• Complete partial orders, continuous functions, fixed points.
• Denotational semantics of recursive programs.
• Proving properties of functional programs.

• Homework 2.
• Homework 1 (answer).
• Slides (new).
• Handouts (updated).
• handouts (draft; do not use).

• Jacques Loeckx and Kurt Sieber, with Ryan D. Stansifer, The Foundations of Program Verification (Second Edition), John Wiley & Sons.

• Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to programming Language Theory, MIT Press.