BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Linear and Dependent Types - Mark Wassell
DTSTART:20171117T110000Z
DTEND:20171117T120000Z
UID:TALK95755@talks.cam.ac.uk
CONTACT:Philip Saville
DESCRIPTION:Combining linear with dependent types in a language allows us 
 to constrain the use of variables representing linear resources whilst sti
 ll having available conventional variables. This talk will be an introduct
 ion to linear types and how they can be combined with dependent types to p
 rovide a language that tracks memory allocation and usage.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR