Semantics of Functional Programming Languages

Lecturer: Tyng-Ruey Chuang 莊庭瑞

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

Prerequisites

None.

Syllabus

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

Course Materials

References

 
semantics.txt · Last modified: 2008/07/08 15:22 by trc
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki