| Tuesday, Sep 5 |
Lecture 1. Out: Functional Programming (fp.ml). |
| Thursday, Sep 7 |
Lecture 2. |
| Tuesday, Sep 12 |
Lecture 3. Due: Functional Programming. Out: Interpreter (interp.ml). |
| Thursday, Sep 14 |
Lecture 4. |
| Tuesday, Sep 19 |
Lecture 5. Due: Interpreter. Out: Extended Interpreter (xinterp.ml). |
| Thursday, Sep 21 |
Lecture 6. |
| Tuesday, Sep 26 |
Lecture 7. |
| Thursday, Sep 28 |
Due: Extended Interpreter. Out: Type Checker. (tc.ml). |
| Tuesday, Oct 3 |
Type Soundness. |
| Thursday, Oct 5 |
Due: Type Checker. |
| Tuesday, Oct 10 |
No class. (Monday schedule.) |
| Thursday, Oct 12 |
Lecture: Type Inference I. Out: Type Inference. (typeinf.ml). |
| Tuesday, Oct 17 |
|
| Thursday, Oct 19 |
|
| Tuesday, Oct 24 |
Lecture: Dafny and Axiomatic Semantics |
| Thursday, Oct 26 |
Lecture: Weakest Preconditions. Due: Type Inference. Out: Verification. (verif.ml, z3_debug.sh) |
| Tuesday, Oct 31 |
Class cancelled. |
| Thursday, Nov 2 |
Class cancelled. |
| Tuesday, Nov 7 |
Lecture: Verification with Z3. |
| Thursday, Nov 9 |
|
| Tuesday, Nov 14 |
Lecture: Continuations |
| Thursday, Nov 16 |
Lecture: Continuation Passing Style. |
| Tuesday, Nov 21 |
No class. (Thanksgiving Recess.) |
| Thursday, Nov 23 |
No class. (Thanksgiving Recess.) |
| Tuesday, Nov 28 |
Lecture: Explicit Continuations. |
| Thursday, Nov 30 |
Lecture: Continuation Passing Style. Due: Verification. Out: Non-Stop JavaScript. |
| Tuesday, Dec 5 |
Lecture: Continuation Passing Style. |
| Thursday, Dec 7 |
|
| Tuesday, Dec 12 |
Last class. |