Lecture Notes

You can download lecture notes here.

• 2025/02/17 Zhao：

  Introduction [Slides]

  [Assignment]
  
• 2025/02/24 Hongbo Zhang：

  MoonBit [Slides]

  [Assignment]
  
• 2025/03/03 Zhao：

  The Untyped Lambda Calculus [Slides]

  [Assignment]
  
• 2025/03/10 Zhao：

  Nameless Representation of Terms [Slides]
  Typed Arithmetic Expressions [Slides]
  Simply Typed Lambda-Calculus [Slides]

  [Assignment]
  
• 2025/03/17 Zhao：

  Simply Extensions [Slides]
  Reference (Part I) [Slides]

  [Assignment]
  
• 2025/03/24 Zhao：

  Reference (Part II) [Slides]
  Exceptions [Slides]

  [Assignment]
  
• 2025/03/31 Zhao：

  Subtyping [Slides]
  Metatheory of Subtyping [Slides]

  [Assignment]
  
• 2025/04/14 Wang：

  Recursive Types [Slides]
  Variable Types [Slides]

  [Assignment]
  
• 2025/04/21 Wang：

  [Assignment]