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.

  • 2025/02/17 Zhao：
    Introduction
    [Due: 2025/02/24]
    • Install MoonBit or OCaml
    • 3.5.13 & 3.5.16
  • 2025/02/24 Hongbo Zhang：
    MoonBit
    [Due: 2025/03/03]
    • Write an interesting program in MoonBit or OCaml (of ~50 lines of code)
  • 2025/03/03 Zhao：
    The Untyped Lambda Calculus
    [Due: 2025/03/10]
    • 5.3.3 & 5.3.8
  • 2025/03/10 Zhao：
    Nameless Representation of Terms 等
    [Due: 2025/03/17]
    • 6.3.2 & 8.3.7 & 9.3.9
  • 2025/03/17 Zhao：
    Simply Extensions 等
    [Due: 2025/03/24]
    • 11.11.1 & 11.12.1
  • 2025/03/24 Zhao：
    Reference (Part II) 等
    [Due: 2025/03/31]
    • 13.1.2 & 13.3.1 & 14.3.2
  • 2025/03/31 Zhao：
    Subtyping 等
    [Due: 2025/04/07]
    • 15.2.2 & 15.3.6 & 16.1.2 & 16.2.1 & 16.3.3
    • Prepare a presentation that includes motivation, a preliminary plan, expected results, cooperation and division, etc.
  • 2025/04/14 Wang：
    Recursive Types 等
    [Due: 2025/04/21]
    • on the last page of "Recursive Types"
  • 2025/04/21 Wang：
    [Due: 2025/04/28]
    • 23.5.1 & 23.5.2 (on the last page of "Variable Types", the former 2 questions)