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 |