Andrew Pitts

Eight lectures for the Computer Science Tripos, Part II.

  • Lecture notes and slides.
  • List of corrections to the notes.

  • Feedback from students registered for CST: If high lecturing standards are to be maintained and lower standards to be raised, it is important for lecturers to receive feedback about their lectures. Consequently, we would be grateful if you would complete this questionnaire. A digest of the information will be passed to the Staff-Student Liaison and Teaching Committees.

    Additional material

  • Material by Vijay Saraswat (AT&T Research) on why Java is not type-safe.
  • The mailing list types@cs.indiana.edu carries discussion and announcements concerning research into type systems. Recent postings. Archive.

  • To Computer Science Teaching page