Sections are held:
- Fridays, 2:15pm-3:30pm in SEC 2.118
Section attendance is not required. Section attendance is not required. Sections will, for the most part, focus on worked examples and exercises to consolidate material covered in the previous week in class. Section will be recorded and available on the Panopto tab of the course Canvas webpage. You should feel free to come to section with questions. We will release practice problems a few days before section.
The following is a list of the sections that were held, and the topic/problems covered.
| Week | Topic | Practice problems |
|---|---|---|
| 2 | Operational Semantics (small-step, large-step); Induction | PDF Solutions |
| 3 | IMP; Denotational Semantics | PDF Solutions |
| 4 | Lambda calculus basics; Lambda calculus encodings and Recursion | PDF Solutions |
| 5 | Definitional translations; References and continuations | PDF Solutions |
| 6 | Simply-typed lambda calculus | PDF Solutions |
| 7 | More types; Parametric Polymorphism; Records and Subtyping | PDF Solutions |
| 9 | Curry-Howard Isomorphism; Existential Types; Type Inference | PDF Solutions |
| 10 | Sub-structural type systems; Algebraic structures (Haskell Code) | PDF Solutions |
| 11 | Environment Semantics; Axiomatic Semantics; Dependent Types | PDF Solutions |
| 12 | Logic Programming | PDF Solutions |
| 13 | Dynamic Types | PDF Solutions |