• A simple example
• Basic inference of types
• Type inference of generic types
• Type checking with Any types
• More about type compatibility
• Join and Meet
• Constraint solver