Seminar Topics
- Simple types (H. Nestra).
- Pierce, Chap. 9, 12.
- Simple extensions (H. Nestra).
- Pierce, Chap. 8, 11.
- Subsumes Topic 1.
- More extensions.
- Pierce, Chap. 13, 14.
- Subsumes Topic 2.
- Subtyping.
- Pierce, Chap. 15.
- Subsumes Topic 2.
- Recursive types.
- Pierce, Chap. 20, 21.
- Subsumes Topic 1.
- Type reconstruction.
- Pierce, Chap. 22.
- Subsumes Topic 2.
- Universal types.
- Pierce, Chap. 23.
- Subsumes Topic 1.
- Higher-Order systems.
- Pierce, Chap. 29, 30.
- Subsumes Topic 7.