课程讲义

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

• 2023/02/20 赵海燕：

  Introduction [幻灯片]
  Untyped arithmetic operations [幻灯片]

  [作业]
  
• 2023/02/27 赵海燕：

  Basic for Implementation [幻灯片]

  [作业]
  
• 2023/03/06 赵海燕：

  The Untyped Lambda Calculus [幻灯片]

  [作业]
  
• 2023/03/13 赵海燕：

  Nameless Representation of Terms [幻灯片]
  Typed Arithmatic Expressions [幻灯片]
  Simply Typed Lambda-Calculus [幻灯片]

  [作业]
  
• 2023/03/20 赵海燕：

  Simply Extensions [幻灯片]

  [作业]
  
• 2023/03/27 赵海燕：

  In-class Practice [幻灯片]

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

  Reference [幻灯片]
  Exceptions [幻灯片]

  [作业]
  
• 2023/04/10 赵海燕：

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

  [作业]
  
• 2023/04/24 王迪：

  Case Study: Imperative Objects [幻灯片]
  Case Study: Featherweight Java [幻灯片]

  [作业]
  
• 2023/05/08 王迪：

  Recursive Types [幻灯片]
  Metatheory of Recursive Types [幻灯片]

  [作业]
  
• 2023/05/15 王迪：

  Universal Type [幻灯片]
  Type Reconstruction [幻灯片]

  [作业]
  
• 2023/05/22 王迪：

  Existential Type [幻灯片]
  Bounded Quantification [幻灯片]

  [作业]
  
• 2023/05/29 王迪：

  Type Operators and Kingding [幻灯片]
  Higher-Order Polymorphism [幻灯片]