课程讲义

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

• 2022/02/23 胡振江：

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

  [作业]
  
• 2022/03/02 赵海燕：

  OCaml [幻灯片]

  [作业]
  
• 2022/03/09 赵海燕：

  Lambda Calculus [幻灯片]

  [作业]
  
• 2022/03/16 赵海燕：

  Nameless Representation [幻灯片]
  Typed Arithmetic Expressions [幻灯片]

  [作业]
  
• 2022/03/23 赵海燕：

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

  [作业]
  
• 2022/03/30 赵海燕：

  Reference [幻灯片]

  [作业]
  
• 2022/04/06 赵海燕：

  Exceptions [幻灯片]
  Subtyping [幻灯片]

  [作业]
  
• 2022/04/13 赵海燕：

  Metatheory of Subtyping [幻灯片]

  [作业]
  
• 2022/04/27 胡振江：

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

  [作业]
  
• 2022/05/11 胡振江：

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

  [作业]
  
• 2022/05/18 胡振江：

  Type Reconstruction [幻灯片]

  [作业]
  
• 2022/05/25 胡振江：

  Universal Types [幻灯片]
  Existential Types [幻灯片]

  [作业]
  
• 2022/06/01 胡振江：

  Bounded Quantification [幻灯片]
  Type Operators and Kinding [幻灯片]

  [作业]