Main text: domain-theoretic foundations of functional programming.
Additional resources
- Semantics of programming languages by Carl Gunter.
- Topology by M. B. Smyth (Smyth, M. B. "Topology, Handbook of logic in computer science (vol. 1): background: mathematical structures." (1993)).
Week | Content |
---|---|
1 | Chapters 1, 2, 3 |
2 | Chapters 4, 5 |
3 | Chapters 6, 7, 8 |
4 | Chapters 9, 10 |
5 | Chapters 11, 12 |
6, 7 | Chapter 16 and its dependencies |