|
|
Lecture overheads are available in Portable Document Format (PDF) files. Initially notes will only be provided in a 6-per-page (6-up) layout. If you would like to have other formats or layouts, please let us know.
For the Portable Document Format (PDF), you can download a free Adobe Acrobat Reader for viewing the files outside your browser, or you can configure your browser with an Acrobat plug-in for reading the notes on-line.
| Lecture | Date | Topic | Notes |
|---|---|---|---|
| 1 | Mo 01/26 |
Introduction and Administrative Details |
Introduction-PDF |
| 2 | We 01/28 |
CANCELLED: Snow Day |
|
| 3 | Mo 02/02 |
Inductive Definitions |
Inductive-PDF |
| 4 | We 02/04 |
Syntax - Part 1 |
Syntax1-PDF |
| 5 | Mo 02/09 |
Syntax - Part 2 |
Syntax2-PDF |
| 6 | We 02/11 |
Static and Dynamic Semantics |
Semantics-PDF |
| 7 | We 02/18 |
Type Safety |
Safety-PDF |
| 8 | Mo 02/23 |
Alternative Dynamic Semantics |
AltSem-PDF |
| 9 | We 02/25 |
CANCELLED |
|
| 10 | Mo 03/02 |
CANCELLED: Snow Day |
|
| 11 | We 03/04 |
Product and Sum Types |
ProductSum-PDF |
| 12 | Mo 03/09 |
Pattern Matching |
Patterns-PDF |
| 13 | We 03/11 |
Function Types |
Functions-PDF |
| 14 | Mo 03/23 |
Scala |
Scala1-PDF |
| 15 | We 03/25 |
Scala (continued) |
Scala2-PDF |
| 16 | Mo 03/30 |
Recursive Functions |
RecursiveFunctions-PDF |
| 17 | We 04/01 |
Recursive Data Types |
RecType-PDF |
| 18 | Mo 04/06 |
Dynamic Typing |
DynType-PDF |
| 19 | We 04/08 |
Polymorphism and Universal Types | PolymorphismAndUniversalTypes-PDF |
| 20 | Mo 04/13 |
Data Abstraction and Existential Types |
Exist-PDF |
| 21 | We 04/15 |
Abstract Machines |
AbstractMachines-PDF |
| 22 | Tu 04/21 |
Exceptions and Continuations |
ExceptionsAndContinuations-PDF |
| 23 | We 04/22 |
Subtyping |
Subtyping-PDF |
| 24 | Mo 04/27 |
State: Fluid Binding and References |
FluidBindingAndRefs-PDF |
| 25 | We 04/29 |
Featherweight Java |
FJ-PDF |
| 26 | Mo 05/04 |
Dynamic Classification and Monads |
Monads-PDF |
| 27 | We 05/06 |
Formal Foundations for Scala |
Nominal-PDF |
| 28 | Mo 05/11 |
Course Summary |
CoreCalculus-PDF ; Summary-PDF |