Familiarisation with Semant package
Environments
Scope Checking
Type Checking
Note – these slides are available on the
web