Presentation on Static Type Checking