CS_221 Functional Programming 1
CS_M36 Functional Programming and Interactive Theorem Proving
Lectures: Wednesday, 9-10 am, Glyndwr C, Thursday, 4-5 pm, Wallace,
Joint Lecture Theatre.
Start: Wednesday, 4th of October.
Course material will be available soon.
Computer laboratories: TBA
Some recommended Books:
Back to Information for Students