Lecture 4 Slides
Lecture 4 is about the operational semantics rules for evaluation of ImpCore expressions and definitions.