Statische Analyse der Semantik

Kontextabhängigkeiten 
Typsynthese 
Überladung (Ad-Hoc-Polymorphie) 
Typumwandlung 
Echte Polymorphie