Types

University of Cambridge Computer Laboratory

Principal lecturer: Dr Andrew Pitts (amp12@cl.cam.ac.uk)
Taken by: Part II

  • Syllabus.
  • Lecture notes and slides [ps].
  • List of corrections to the notes [ps].
  • Past exam questions.
  • Additional material:
  • Need more help understandoing the material in Chapter 4 (Polymorphic Reference Types)? Try Section 1.1.2.1 Value Polymorphism of the `SML'97 Conversion Guide' provided by SML/NJ.
  • The types forum carries discussion and announcements concerning research into type systems.
  • Supervision arrangements for Michaelmas Term 2000

    See here for information about signing up for supervisions. Once you have been assigned a supervisor, you should arrange to have two supervisions for this course during Michaelmas Term.
    II