BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:What We Talk About When We Talk About Types -  Dr Nick Benton - Mi
 crosoft Research Cambridge
DTSTART:20140226T140000Z
DTEND:20140226T150000Z
UID:TALK49755@talks.cam.ac.uk
CONTACT:David Greaves
DESCRIPTION:Types are a central topic in programming language research\, a
 s well as\nbeing one of the main triggers for heated and unproductive lang
 uage\nadvocacy arguments on the internet. Yet\, even amongst expert types\
 nresearchers\, there is a surprising diversity of opinion about just\nwhat
  types *are*: what they mean\, what they're for\, and what\nproperties a t
 ype system should have. This talk will explore the\nvarious positions\, in
 cluding\, of course\, presenting the correct\nanswers to these questions.\
 n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR