BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Type-Checking and Type-Error Reporting - Shaun Hall
DTSTART:20110308T183000Z
DTEND:20110308T193000Z
UID:TALK27188@talks.cam.ac.uk
CONTACT:John Wickerson
DESCRIPTION:Type-inference reduces the need for programmers to annotate pr
 ograms with types\, but can lead to poor quality type-error messages. I wi
 ll explain how compilers can implement formal type-systems\, how type-erro
 r messages are produced and evaluate the usefulness of different approache
 s. I will describe the theory and implementation behind my Part II project
 \, TELE (Type-Error Location Extension)\, which produces high quality type
 -error messages for OCaml.
LOCATION:Club Room\, Churchill College
END:VEVENT
END:VCALENDAR