Schedule

Here is a tentative schedule, subject to change with 1 weeks notice. Chapters/readings in () are optional.

 

4/3

Overview (optional reading Wirth, Hoare, Wegner, Nauer)
4/5 Pierce 1,2,3
4/7 Pierce 5
4/10 Pierce 6,8
4/12 Pierce 9 (start on 11, it is long)
4/14 Pierce 11
 4/17 Pierce 13
4/19 Pierce 15 (through section 15.5)
4/21 Pierce 18
4/24 Pierce 19
4/26 Scala 1-5
4/28 Scala 6-7
5/1 Scala 8-9
5/3 Scala 10-11
5/5 Scala 12 (Project proposals due)
5/8 Scala (14),15,16 
5/10 Scala (17),18,19
5/12 Mid term
5/15 Swift
5/17 Swift
5/19 Swift
5/22 Thomas Schmitz lecture on Faceted Values
5/24 Christopher Schuster lecture on Program Verification
5/26 Go
5/29 Holiday
5/31 Go
6/2 Go
6/5 Java Lambda Expressions
6/7 ESC/Java
6/9 TBD