课程讲义

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

• 2022/02/23 胡振江：

  Introduction [Slides]
  Untyped arithmetic operations [Slides]

  [Assignment]
  
• 2022/03/02 赵海燕：

  OCaml [Slides]

  [Assignment]
  
• 2022/03/09 赵海燕：

  Lambda Calculus [Slides]

  [Assignment]
  
• 2022/03/16 赵海燕：

  Nameless Representation [Slides]
  Typed Arithmetic Expressions [Slides]

  [Assignment]
  
• 2022/03/23 赵海燕：

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

  [Assignment]
  
• 2022/03/30 赵海燕：

  Reference [Slides]

  [Assignment]
  
• 2022/04/06 赵海燕：

  Exceptions [Slides]
  Subtyping [Slides]

  [Assignment]
  
• 2022/04/13 赵海燕：

  Metatheory of Subtyping [Slides]

  [Assignment]
  
• 2022/04/27 胡振江：

  Case Study: Imperative Objects [Slides]
  Case Study: Featherweight Java [Slides]

  [Assignment]
  
• 2022/05/11 胡振江：

  Recursive Types [Slides]
  Metatheory of Recursive Types [Slides]

  [Assignment]
  
• 2022/05/18 胡振江：

  Type Reconstruction [Slides]

  [Assignment]
  
• 2022/05/25 胡振江：

  Universal Types [Slides]
  Existential Types [Slides]

  [Assignment]
  
• 2022/06/01 胡振江：

  Bounded Quantification [Slides]
  Type Operators and Kinding [Slides]

  [Assignment]