COMP3610 Principles of Programming Languages

Lecture Notes and Supporting Materials

• Introduction
  • Slides: [pdf] [pdf 2×2]
  • Materials: [Countdown Problem] [Sample Code]
• What is a Programming Language?
  • Slides: [pdf] [pdf 2×2]
  • Support Materials
• Lambda Calculus
  • Lecture Notes: [pdf] [pdf 2-up] (corrections 6th August, 13th August)
  • Support Materials
• Syntax, Parsing and Translation: Top-Down
  • Lecture Notes: [pdf] [pdf 2-up]
  • Support Materials
• Fixpoint Theory of Recursive Function Definitions
  • Lecture Notes: [pdf] [pdf 2-up]
  • Support Materials
• Syntax, Parsing and Translation: Bottom-Up
  • Lecture Notes: [pdf] [pdf 2-up]
• Semantics of Programming Languages
  • Lecture Notes: [pdf] [pdf 2-up]
  ANU promotes its education program as "research-led" so here is a paper I gave at ICFP 2000 about the semantics of parallel Haskell. For interest only.
• ...
  • ...