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. * [[http://www.cs.uu.nl/~bastiaan/papers.html#scripting][Scripting the Type Inference Process]], Heeren, Hage, and Swierstra. ICFP 2003. * [[http://www.cs.uu.nl/~bastiaan/papers.html#typeclassdirectives][Type Class Directives]], Heeren and Hage. PADL 2005. * One paper about [[http://www.cs.uu.nl/wiki/Atze/WebHome][Ruler]], a tool for specifying type rules (FLOPS 2006). * Simon Peyton Jones' paper about [[http://research.microsoft.com/~simonpj/papers/higher-rank/index.htm][Practical type inference for arbitrary-rank types]]. Note that this topic is scheduled for September 22, but we may cancel it (or move it) depending on time constraints and number of participants. * 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.