BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Memory safety with exceptions and linear types - Richard Thripplet
 on\, Computer Laboratory\, University of Cambridge
DTSTART:20071214T151500Z
DTEND:20071214T161500Z
UID:TALK9534@talks.cam.ac.uk
CONTACT:Alan Mycroft
DESCRIPTION:PacLang is an existing simple functional language for writing 
 packet processing software.\nIt is notable for its use of a linear type sy
 stem to deal with memory management and thread safety.\nI explain how we a
 dded error-handling functionality to this language\, in the form of except
 ions.\nWe called the resulting extended language PacLang++\, and wrote a c
 ompiler to support it.\nA significant challenge  was in preserving importa
 nt properties of the type system in the presence of exceptions\, without u
 nduly constraining the kinds of program that can be written.
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR