课程讲义

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

• 2024/02/19 赵海燕：

  Introduction [幻灯片]

  [作业]
  
• 2024/02/26 赵海燕：

  Basic for Implementation [幻灯片]

  [作业]
  
• 2024/03/04 赵海燕：

  The Untyped Lambda Calculus [幻灯片]

  [作业]
  
• 2024/03/11 赵海燕：

  Programming in the Lambda Calculus [幻灯片]
  Typed Arithmetic Expressions [幻灯片]

  [作业]
  
• 2024/03/18 赵海燕：

  Simply Typed Lambda-Calculus [幻灯片]
  Simply Extensions [幻灯片]

  [作业]
  
• 2024/03/25 赵海燕：

  Reference [幻灯片]

  [作业]
  
• 2024/04/01 赵海燕：

  Exceptions [幻灯片]
  Subtyping-1 [幻灯片]

  [作业]
  
• 2024/04/08 赵海燕：

  Subtyping-2 [幻灯片]
  Metatheory of Subtyping [幻灯片]

  [作业]
  
• 2024/04/22 王迪：

  Recursive Types [幻灯片]

  [作业]
  
• 2024/05/06 王迪：

  Variable Types [幻灯片]

  [作业]
  
• 2024/05/13 王迪：

  [作业]
  
• 2024/05/20 王迪：

  Type-Level Computation [幻灯片]

  [作业]
  
• 2024/05/27 王迪：

  Type Inference [幻灯片]

  [作业]