Lecture Schedule

Lecture Schedule

January 1, 2021

The list comes here
Date Title
Tuesday, January 26, 2021 Course Introduction
Thursday, January 28, 2021 Recursion
Tuesday, February 2, 2021 Algebraic Data Types
Thursday, February 4, 2021 Higher Order Functions
Tuesday, February 9, 2021 Interpreters I
Thursday, February 11, 2021 Interpreters II
Tuesday, February 16, 2021 Big-Step Semantics
Thursday, February 18, 2021 Lambda Calculus
Tuesday, February 23, 2021 Continuation Passing Style
Thursday, February 25, 2021 Type Classes
Tuesday, March 2, 2021 Monads
Thursday, March 4, 2021 State Monad
Tuesday, March 9, 2021 Grammars
Thursday, March 11, 2021 Regular Languages
Tuesday, March 16, 2021 LL Parsing
Thursday, March 18, 2021 LR Parsing
Tuesday, March 23, 2021 Combinator Parsing
Thursday, March 25, 2021 Small-Step Semantics
Thursday, April 1, 2021 Unification
Tuesday, April 6, 2021 Hoare Semantics
Thursday, April 8, 2021 Loop Invariants
Thursday, April 15, 2021 Monotype Semantics
Tuesday, April 20, 2021 Polytype Semantics
Thursday, April 22, 2021 Prolog
Tuesday, April 27, 2021 Prolog's Cut Operator
Thursday, April 29, 2021 Variables
Tuesday, May 4, 2021 Macros