Presentation material for a seminar on type inferencing.