课程讲义

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

• 2023/02/20 赵海燕：

  Introduction [Slides]
  Untyped arithmetic operations [Slides]

  [Assignment]
  
• 2023/02/27 赵海燕：

  Basic for Implementation [Slides]

  [Assignment]
  
• 2023/03/06 赵海燕：

  The Untyped Lambda Calculus [Slides]

  [Assignment]
  
• 2023/03/13 赵海燕：

  Nameless Representation of Terms [Slides]
  Typed Arithmatic Expressions [Slides]
  Simply Typed Lambda-Calculus [Slides]

  [Assignment]
  
• 2023/03/20 赵海燕：

  Simply Extensions [Slides]

  [Assignment]
  
• 2023/03/27 赵海燕：

  In-class Practice [Slides]

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

  Reference [Slides]
  Exceptions [Slides]

  [Assignment]
  
• 2023/04/10 赵海燕：

  Subtyping [Slides]
  Metatheory of Subtyping [Slides]

  [Assignment]
  
• 2023/04/24 王迪：

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

  [Assignment]
  
• 2023/05/08 王迪：

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

  [Assignment]
  
• 2023/05/15 王迪：

  Universal Type [Slides]
  Type Reconstruction [Slides]

  [Assignment]
  
• 2023/05/22 王迪：

  Existential Type [Slides]
  Bounded Quantification [Slides]

  [Assignment]
  
• 2023/05/29 王迪：

  Type Operators and Kingding [Slides]
  Higher-Order Polymorphism [Slides]