BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Type (re)construction from values - Robin Message (Computer Lab)
DTSTART:20090320T151500Z
DTEND:20090320T161500Z
UID:TALK17514@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:I plan to talk about how the underlying types can be reconstru
 cted using\na probabilistic model based on the values we find in a program
  or a\ndatabase. Furthermore\, in the case where no types existed beforeha
 nd\, we\ncan construct types based on the values we find.\n\nThis is usefu
 l for databases\, for example\, in constructing a more\nnormalised databas
 e given some partially filled in tables. It maps\nparticularly well onto k
 ey-value pair stores. We also envisage it could\nbe used in type reconstru
 ction in scripting languages.\n\nThe talk will look at the motivations for
  doing this\, the probabilistic\ntechnique used\, and talk about some of t
 he further work planned. I hope\nit will not be too long\, and there will 
 be time to get people's input on\nhow this might be used\, whether anythin
 g like this has been done before\,\nand how it could be expanded to cover 
 more complex type systems.
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR