[PPT] - Notes for State of the Art Report on Type Systems and Static PowerPoint Presentation