Dipendenze e nuovi comandi
Semantica statica delle espressioni
Bound and Free Identifiers
Dichiarazioni: FI e sem. statica