Course pages 2013–14
Functional Programming: Implementation, Specification and Verification
Tick exercises:
- Tick exercise 1 due by 4pm, 28 Oct 2013
- Tick exercise 2 due by 4pm, 21 Nov 2013 — clarification added to part 2 (13 Nov 2013).
Take home test: A take-home test will be set at the beginning of Lent term.