| The table suggests possible topics for each week. As this is a student-driven seminar, these topics may be updated to reflect your needs. This is a rough outline only. | Week | Topic of the Week | Details | Dates |
|---|
| Fundamentals of Programming Languages |
definitional interpreters for simple languages
| 09-20, 09-22 | | Early Insights |
S-Expressions, garbage collection, adding if, funapp, and environments
to a simple language
| 09-27, 09-29 | | Algol 60 |
Algol 60, the lambda calculus, operational semantics
| 10-04, 10-06 | | The Next 700 Programming Languages |
the lambda calculus, operational semantics.
| 10-11,10-13 | | Axiomatic Semantics |
| 10-18, 10-20 | | Towards a theory of Type Structure |
| 10-25, 10-27 | | Plotkin 1975 |
| 11-01, 11-03 | | Milner 1978 |
| 11-08, 11-10 | | More of Milner, type inference |
| 11-15, 11-17 | | TBA |
| 11-22 | | TBA |
| 11-29, 12-01 |
|