For the assignments, I would recommend cloning the course website, and find the assignments under assignments/pset*.

All assignments should be submitted through the course moodle.

Problem Set Released Due Date Topic
1 03/02/2021 10/02/2021 Functional Programming in Coq
2 12/02/2021 19/02/2021 Logic + Induction
3 19/02/2021 26/02/2021 Basic Syntax + Polymorphic containers
4 26/02/2021 05/03/2021 Higher-order functions + BST
5 06/03/2021 13/03/2021 F* verification
6 15/03/2021 22/03/2021 Transition Systems
7 25/03/2021 12/04/2021 Operational Semantics
8 14/04/2021 26/04/2021 Lambda Calculus
9     Compiler Correctness
10     Hoare Logic
11     F* effects


Assignment late penalties

We are flexible about submitting assignments late. Unless otherwise specified, assignments may be turned in late with the following penalties applied to the score received:

  • 1 day late: −5%
  • 2 days late: −15%
  • 3 days late: −30%
  • 4 days late: −50%
  • > 4 days late: we will not grade it.

I plan to discuss the assignment solution in class in the week following the assignment due date. Hence, submissions submitted later than 4 days after the deadline will not be accepted.

Academic Integrity

You’re studying an advanced course; you’re expected and encouraged to discuss your work with others. That said, everything you write for this course (code, written assignments, quizzes, exams and everything else) must be your own original work.

Properly attribute any work that you use. It is part of your job as a scholar to understand what counts as plagiarism, and make sure you avoid it.