• Type systems are not just about "Data Types"
• Benefits of Type Systems
• Detecting Errors
• Documentation
• Safety
• Efficiency
• Humans versus Computers
• Generics
• Type Hierarchy