Key to readings: M = Mitchell; W = Winskel; K = Krishnamurthi 1st ed.; K2nd = Krishnamurthi 2nd ed.; P = Pierce; H = Harper. The readings are not required, but may help your understanding of the lecture material.
The lecture notes here contain material from lecture notes of courses taught by Radu Rugina, Andrew Myers, and Nate Foster.
Videos of the lecture and section are available here. (Make sure to log in, and look on the left of the page for "Lecture Videos", etc.) The same site also provides live streams for lecture.
For background material on sets, relations, functions, and induction, see: W 1, H 2, H Appendix, and/or P 2.
Lec.  Date  Topic  Readings  Notes  Assignments 

Semantics  
Tue 26Jan  Class canceled due to weather  
1  Thu 28Jan  Intro to semantics Smallstep semantics 
W 2,3,4 P 2.4, 3 H 2  Assignment 0 released  
2  Tue 3Feb  Inductive definitions and proof  
3  Thu 5Feb  Largestep semantics  Assignment 1 released  
Tue 10Feb  Class canceled due to weather  
4  Thu 12Feb  IMP: a simple imperative language  Assignment 1 due Assignment 2 released 

5  Fri 13Feb  Denotational semantics Available on video only; video is from last year: ignore timebased information. See above for link to videos. 
W 5 M 4.3  
Lambda calculus  
6  Tue 17Feb  Lambda calculus  P 5 M 4.2 K 22  
7  Thu 19Feb  Lambda calculus encodings and Recursion  Assignment 2 due Assignment 3 released 

8  Tue 24Feb  Definitional translations  
9  Thu 26Feb  References and continuations  P 13 M 5,4, 8.3.2 H 29, 36 K 1820  Assignment 3 due Assignment 4 released 

10  Tue 3Mar  MIDTERM EXAM  
Types  
11  Thu 5Mar  Simplytyped lambda calculus Type soundness 
P 9 M 6.1, 6.2 K 2426  
12  Tue 10Mar  More types  P 11, 13  Assignment 4 due Assignment 5 released 

13  Thu 12Mar  Type inference  P 22  
Spring Recess  
14  Tue 24Mar  Parameteric Polymorphism, Records and Subtyping  P 23 M 6.4 P 11.8, 15  
15  Thu 26Mar  CurryHoward isomorphism; Existential types  P 9.4  Assignment 5 due Assignment 6 released 

16  Tue 31Mar  Algebraic structures  
Concurrency  
17  Thu 2Apr  Semantics of concurrency  Assignment 6 due Assignment 7 released 

18  Tue 7Apr  Language abstractions for concurrency  
Contracts and control  
19  Thu 9Apr  Dynamic types  PDF Guest lecturer: Christos Dimoulas 
Assignment 7 due Assignment 8 released 

20  Tue 14Apr  Lambda calculus machines  PDF Guest lecturer: Christos Dimoulas 

21  Thu 16Apr  Delimited control  PDF Guest lecturer: Christos Dimoulas 

22  Tue 21Apr  Controlflow analysis  Assignment 8 due  
Miscellany  
23  Thu 23Apr  Logic programming  Assignment 9 released  
24  Tue 28Apr  Functional Reactive Programming  
25  Thu 30Apr  Reading period makeup lecture due to canceled classes Common mistakes in programming language design 
Assignment 9 due 