Assignments
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.