Lecture Notes

You can download lecture notes here.

• 2026/03/02 赵海燕：

  Introduction [Slides]

  [Assignment]
  
• 2026/03/09 王迪：

  MoonBit [Slides]

  
  
• 2026/03/16 赵海燕：

  The Untyped Lambda Calculus [Slides]
  Nameless Representation of Terms [Slides]

  [Assignment]
  
• 2026/03/23 赵海燕：

  Typed Arithmetic Expressions [Slides]
  Simply Typed Lambda-Calculus [Slides]
  Simply Extensions [Slides]

  [Assignment]
  
• 2026/03/30 赵海燕：

  Reference [Slides]
  Exceptions [Slides]

  [Assignment]