You can find assignments here. The assignment for week (x) will be due on the Monday of week (x+1).

Please submit your solution via attachements (readable files, .pdf, .doc, etc) in an email to pku-dppl@outlook.com. Remember to annotate your student ID, name, and the week number (x) in the subject line, e.g., 2100012345-San Zhang-1.

  • 2026/03/02 赵海燕：
    Introduction
    [Due: 2026/03/09]
    • Install MoonBit or OCaml
    • 3.5.13 & 3.5.16
    • See slides for optional exercises
  • 2026/03/16 赵海燕：
    The Untyped Lambda Calculus 等
    [Due: 2026/03/23]
    • 5.2.11 & 5.3.7
    • 6.3.2
  • 2026/03/23 赵海燕：
    Typed Arithmetic Expressions 等
    [Due: 2026/03/30]
    • 8.3.6
    • 9.3.10
    • 11.9.1 & 11.12.1
  • 2026/03/30 赵海燕：
    Reference 等
    [Due: 2026/04/06]
    • 13.5.8
    • 14.3.1