15-814 Types and Programming Languages
Schedule
-
The lecture notes provide additional reading material
that complements, but do not replaces the lecture.
- The schedule is subject to change throughout the semester
- Chapter references are to the textbook
- Further references can be found in the lecture notes and textbook
| Date |
Lecture Notes |
Additional Reading |
Code |
Due |
|
| Tue | Aug | 26 |
The Lambda Calculus |
|
bool.lam
|
|
| Thu | Aug | 28 |
Recursion |
|
rec.lam |
|
|
| Tue | Sep | 2 |
|
|
|
|
| Thu | Sep | 4 |
|
|
|
|
|
| Tue | Sep | 9 |
|
|
|
Asst 1 |
| Thu | Sep | 11 |
|
|
|
|
|
| Tue | Sep | 16 |
|
|
|
Asst 2 |
| Thu | Sep | 18 |
|
|
|
|
|
| Tue | Sep | 23 |
|
|
|
Asst 3 |
| Thu | Sep | 25 |
|
|
|
|
|
| Tue | Sep | 30 |
|
|
|
Asst 4 |
| Thu | Oct | 2 |
|
|
|
|
|
| Tue | Oct | 7 |
Midsemester Review |
|
|
Asst 5 |
| Thu | Oct | 9 |
Midterm Exam (in class) |
|
|
|
|
| Tue | Oct | 14 |
Fall Break |
|
|
|
| Thu | Oct | 16 |
Fall Break |
|
|
|
|
| Tue | Oct | 21 |
|
|
|
|
| Thu | Oct | 23 |
|
|
|
|
|
| Tue | Oct | 28 |
|
|
|
|
| Thu | Oct | 30 |
|
|
|
Asst 6 |
|
| Tue | Nov | 4 |
Democracy Day (no class)
|
|
|
|
| Thu | Nov | 6 |
|
|
|
Asst 7 |
|
| Tue | Nov | 11 |
|
|
|
|
| Thu | Nov | 13 |
|
|
|
Asst 8 |
|
| Tue | Nov | 18 |
|
|
|
|
| Thu | Nov | 20 |
|
|
|
|
|
| Tue | Nov | 25 |
Project Day (no class) |
|
|
|
| Thu | Nov | 27 |
Thanksgiving Break (no class) |
|
|
|
|
| Tue | Dec | 2 |
|
|
|
|
| Thu | Dec | 4 |
|
|
|
MP |
|
[ Home
| Schedule
| Assignments
| Resources
| Software
]
fp@cs
Frank Pfenning
|