ITCS: Course Materials

Location:

  • Tue, 15-16: Lecture Room A2.04 - Alison House.  
  • Thu, 15-16: Lecture Room A2.04 - Alison House.

This course is based upon the following textbooks.

  • Michael Sipser. Introduction to the Theory of Computation, PWS Publishing (International Thomson Publishing).
  • Benjamin C. Pierce. Types and Programming Languages, MIT Press.

Lecture slides:

Coursework 1 and other exercises will be discussed in the lecture on Thursday 5. Nov.

Lecture 14 takes place on Tuesday 10. Nov.

Weekly exercises. (Solutions are posted here 1 week later. There are no tutorials, but some questions are discussed in class.

 

Coursework:

Courseworks can be accessed/submitted via the LEARN page, Section Assessment. Submission via Gradescope.

  • Coursework 1 (formative): Out 28.9., Due 30.10., Back 13.11.
  • Coursework 2 (summative, 20% of course grade): Out 26.10. Due 27.11., Back 11.12.

 

Files

2022 Exam.
2022 Solutions.
Damas and Milner, Principal type schemes for functional programs, POPL 1982.
License
All rights reserved