课程讲义

在这里可以下载课程讲义。

• 2024/02/19 赵海燕：

  Introduction [Slides]

  [Assignment]
  
• 2024/02/26 赵海燕：

  Basic for Implementation [Slides]

  [Assignment]
  
• 2024/03/04 赵海燕：

  The Untyped Lambda Calculus [Slides]

  [Assignment]
  
• 2024/03/11 赵海燕：

  Programming in the Lambda Calculus [Slides]
  Typed Arithmetic Expressions [Slides]

  [Assignment]
  
• 2024/03/18 赵海燕：

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

  [Assignment]
  
• 2024/03/25 赵海燕：

  Reference [Slides]

  [Assignment]
  
• 2024/04/01 赵海燕：

  Exceptions [Slides]
  Subtyping-1 [Slides]

  [Assignment]
  
• 2024/04/08 赵海燕：

  Subtyping-2 [Slides]
  Metatheory of Subtyping [Slides]

  [Assignment]
  
• 2024/04/22 王迪：

  Recursive Types [Slides]

  [Assignment]
  
• 2024/05/06 王迪：

  Variable Types [Slides]

  [Assignment]
  
• 2024/05/13 王迪：

  [Assignment]
  
• 2024/05/20 王迪：

  Type-Level Computation [Slides]

  [Assignment]
  
• 2024/05/27 王迪：

  Type Inference [Slides]

  [Assignment]