I was a TA of COMP301 - Programming Languages Theory in Fall 2019 and Fall 2020 in Koç University.
Stored in this repository are the materials I took part in preparing for this class.
-
Fall 2019 - 1: Set definitions, Scheme.
-
Fall 2019 - 2: Lambda calculus, stacks, bigits, environment.
-
Fall 2019 - 3: AST, rules of inference, derivation tree.
-
Fall 2019 - 4:
let, environment. -
Fall 2019 - 5:
let,proc,letrec, currying, dynamic binding. -
Fall 2019 - 6:
let,proc, recursion, lexical addressing. -
Fall 2019 - 7: Mutable Pairs.
-
Fall 2019 - 8: No PS, added for the record.
-
Fall 2019 - 9:
letrec, Parameter Passing. -
Fall 2019 - 10:
letrec, CPS. -
Fall 2019 - Bonus: Dynamic scoping, static scoping.
-
Fall 2020 - 1: Representations, Scheme. Prepared together with Barış Batuhan Topal.
-
Fall 2020 - 2:
let, Scheme, AST. Prepared together with Barış Batuhan Topal. -
Fall 2020 Project 4 Parameter Passing, CPS,
letrec. Prepared together with Barış Batuhan Topal.