Semantic Analysis

Environments

Multiple environments

Symbol Tables

In Tiger

What is in each binding?

Type checking expressions

What to do on….?

And recursive types / functions?

Finally