Programmi

Interpreti astratti per l'inferenza di tipi

Semantica concreta

Interprete astratto monomorfo

Interprete astratto monomorfo con mutua ricorsione

Interprete let-polimorfo

Interprete con ricorsione polimorfa

Interprete dei segni

Semantica concreta

Interprete astratto

Verifica sui tipi

Verificatore sui tipi

Lezioni

Overview sull'interpretazione astratta (download)

Interpretazione astratta (html)

Inferenza di tipi via interpretazione astratta (html)

Verifica sui tipi (html)

Bibliografia

Riferimenti essenziali