1 |
Intro. & Course Logistics |
|
|
[S: Ch1] |
Intro. to PL Design |
[S: Ch1] |
|
[S: 3.1--3.3] |
2 |
Describing Syntax |
[S: 3.1--3.3] |
|
[S: 3.4] |
Static Semantics |
[S: 3.4] |
|
[H: 1.2] |
3 |
Abstract Syntax and Dynamic Semantics |
[H: 1.1,1.2] |
|
[P: 1.1, 3.1] |
Structural Operational Semantics (SOS) |
[W: 2.1--2.4] [P: 1.1, 3.1] |
|
[P: 3.2 -- 3.3] |
4 |
Evaluation Semantics |
[W: 2.6] [P: 3.2, 3.3] |
|
[P: 3.2 -- 3.3] |
SOS vs. Evaluation Semantics |
[W: 2.6] [P: 3.2, 3.3] |
|
[P: 2.2] |
5 |
Structural Induction |
[W:3.1-3.2,3.4] [P: 2.2] |
Quiz 1 |
[MP: 1 -- 3] |
Rewriting Semantics and Maude |
[MB: Ch1 -- Ch7] [MP: 1 -- 3] |
|
[MP: 1 -- 3] |
6 |
Hands-on Maude Session I |
[MB: Ch1 -- Ch7] [MP: 1 -- 3] |
Bring your laptops with enough battery charge (and chargers as well)! |
[MP: 1 -- 3] |
Hands-on Maude Session II |
[MB: Ch1 -- Ch7] [MP: 1 -- 3] |
Bring your laptops with enough battery charge (and chargers as well)! |
[MB: Ch1 -- Ch7] [MP: 1 -- 3] |
7 |
Maude "Spec-Fest" |
[MB: Ch1 -- Ch7] [MP: 1 -- 3] |
Quiz 2 + Bring your laptops with enough battery charge (and chargers as well)! |
[W:5.1, 5.2] |
Denotational Semantics |
[W:5.1 -- 5.3] |
|
[Hu:4.1 -- 4.3] |
8 |
(No class) |
|
|
[Hu:4.1 -- 4.3] |
Axiomatic Semantics I |
[Hu:4.1 -- 4.3] |
Quiz 3 (on Denotational Semantics) |
[Hu:4.1 -- 4.3] |
9 |
Axiomatic Semantics II |
[Hu:4.1 -- 4.3] |
|
|
Paper Review Presentations |
|
|
[L: 1 -- 6] |
10 |
Functional Programming |
[Hu: Ch1 -- Ch7] |
Quiz 4 (on Axiomatic Semantics) |
[L: 1 -- 6] |
Haskell Codefest |
[Hu: Ch1 -- Ch7] |
Bring your laptops with enough battery charge (and chargers as well)! |
[Pr: 5.1 -- 5.2] |
11 |
The Untyped Lambda-Calculus |
[Pr: Ch5] |
|
[Pr: 5.1 -- 5.3] |
Semantics of Lambda-Calculus |
[Pr: Ch5] |
|
[Pr: 5.1 -- 5.3] |
12 |
Evaluation Order |
[Pr: Ch5] |
|
[Pr: Ch5] |
Exercises |
[Pr: Ch5] |
|
[Pr: 8.1 -- 8.2] |
13 |
Types and Type Systems |
[Pr: Ch8] |
Quiz 5 (on the Lambda-Calculus) |
[Pr: 9.1 -- 9.2] |
The Simply Typed Lambda-Calculus |
[Pr: 9.1 -- 9.3] |
|
[Pr: 23.1 -- 23.3] |
14 |
Polymorphic Lambda-Calculus |
[Pr: 23.1 -- 23.4] |
|
[Pr: 23.1 -- 23.4] |
Exercises |
[Pr: 23.1 -- 23.4] |
|
[Pr: 23.1 -- 23.4] |
15 |
|
|
Quiz 6 (on Types and the Typed Lambda-Calculus) |
|
|
|
|
|