Talk Overview

• Why add static type checking?

• Checked vs. unchecked modules

• Declaration syntax

• Type expressions

• Dynamic casts

• Parameterized types

• Open issues

• Implementation...?

Previous slide

Next slide

Back to first slide

View graphic version