Lecture 4: Variables and Typing Environment, Г

In this lecture:

  • Variable declaration
  • Variable access
  • Type Environment, Г
  • Identifier resolution
  • Scope chain
  • Type annotations