Typed Lambda-Calculus
Monday:
Concepts and Syntax
Tuesday:
Substitution and Equations
Wednesday:
From Pure to Effectful
Thursday:
Denotational Semantics of Call-By-Value
Answers to Monday's exercises, and further questions