BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Computer Laboratory Programming Research Group Sem
 inar
SUMMARY:Memory safety with exceptions and linear types - R
 ichard Thrippleton\, Computer Laboratory\, Univers
 ity of Cambridge
DTSTART;TZID=Europe/London:20071214T151500
DTEND;TZID=Europe/London:20071214T161500
UID:TALK9534AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/9534
DESCRIPTION:PacLang is an existing simple functional language 
 for writing packet processing software.\nIt is not
 able for its use of a linear type system to deal w
 ith memory management and thread safety.\nI explai
 n how we added error-handling functionality to thi
 s language\, in the form of exceptions.\nWe called
  the resulting extended language PacLang++\, and w
 rote a compiler to support it.\nA significant chal
 lenge  was in preserving important properties of t
 he type system in the presence of exceptions\, wit
 hout unduly constraining the kinds of program that
  can be written.
LOCATION:GS15\, Computer Laboratory
CONTACT:Alan Mycroft
END:VEVENT
END:VCALENDAR