The first half of the course will follow to a large extent the book by Benjamin Pierce, "Types and Programming Languages", MIT Press, 2002. In the later part of the course, we will rely on some recent research papers, the course notes on "Computation and Deduction" and we may also discuss some chapters from Benjamin Pierce, "Advanced Topics in Programming Languages and Types", MIT Press, 2004. You may also find the course notes from Robert W. Harper Programming Languages: Theory and Practice and his notes Programming Standard ML useful. Both course notes are available in pdf-format.