| 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 | Reading | Dates |
|---|
| Definitional interpreters for simple languages | McCarthy 1960 | 01-08, 01-10 | | McCarthy's Machine | Landin 1966 | 01-15, 01-17 | | Landin's family of languages | Dijkstra 1968 | 01-22, 01-24 | | More on ISWIM | Reynolds 1974 | 01-29, 01-31 | | Reynolds's System F | Steele 1976 | 02-05, 02-07 | | Continuation-Passing Style | Milner 1978 | 02-12, 02-14 | | Type Inference and Hindley-Milner | Morrisett 1999 | 02-19, 02-21 | | Typed Assembly Language | Morrisett 1999 | 02-26, 02-28 | | A compiler from System F to Typed Assembly Language | No reading | 03-05, 03-07 | | Ditto | No reading | 03-12, 03-14 |
|