During the course, you are expected to read approximately 15 research papers.
- Two papers have to be read for the introductory lecture on type inference directives.
- One paper about Ruler, a tool for specifying type rules (FLOPS 2006).
- You are expected to read all presentation papers thoroughly before the associated lecture, including the ones you do not have to present yourself. You will have to find one or two papers yourself that are related to the paper assigned to you.
- You will have to read two or three papers to learn more about context of your project. References to background material will be provided as soon as all students have been assigned to a project.