Sections are held:

Section attendance is not required. You can go to whichever section(s) you want.

Wednesday's sections are recorded (from April 4 onwards). Videos of section are available on Canvas.

The following is a list of the sections that were held, and the topic/problems covered. Practice problems will be released a day or two before the first section of the week.

Week Topic Practice problems
3Induction; Small-step operational semantics; Large-step operational semantics; IMP PDF
Solutions
4Denotational semantics; Lambda calculus basics PDF
Solutions
5Lambda calculus encodings; Definitional translations PDF
Solutions
6References, continuations; Simply-typed lambda calculus PDF
Solutions
7More types PDF
Solutions
8Parameteric polymorphism, records and subtyping PDF
Solutions
9Curry-Howard, existential types; sub-structural type systems PDF
Solutions
10Algebraic structures; Axiomatic semantics (Haskell code) PDF
Solutions
11Dependent Types; Proof tools (Haskell code) PDF
Solutions
12Logic Programming (code) PDF
Solutions
13Concurrency PDF
Solutions