Types

University of Cambridge Computer Laboratory

Principal lecturer: Dr Peter Sewell (pes20@cl.cam.ac.uk)
Taken by: Part II
Number of lectures: 8
Lecture location: Babbage Lecture Room N.B. Not the Rayleigh!
Lecture times: 11:00 on MWF starting 09-Oct-98

Copies of the slides and lecture notes will be placed here as the course progresses.
Lecture Notes (including the slides)

Section 1
Sections 2 and 3
Sections 4 and 5
Sections 6 and 7
Errata

ML Code

Type inference for simple types

Web pointers

Java is not type-safe Vijay Saraswat, AT&T Research

II
Provisional information only
Generated at 09:55.15 on 4/9/1998