BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Strongly-Typed Language Support for Internet-Scale Information Sou
 rces - Don Syme - Microsoft Research
DTSTART:20130515T131500Z
DTEND:20130515T141500Z
UID:TALK44784@talks.cam.ac.uk
CONTACT:David Greaves
DESCRIPTION:"Data\, data everywhere\, ...." Modern computing is highly inf
 ormation rich\, but our programming languages are information sparse\, esp
 ecially our strongly typed ones. "Information Rich Programming" (IRP) is a
 n emerging direction for strongly-typed language design and implementation
 \, and the open source\, cross-platform F# language from Microsoft is lead
 ing the way in this area. In this talk\, we'll give an overview of the cha
 llenges of strongly-typed IRP against web data markets\, web ontologies\, 
 databases\, services and enterprise data schema. Are information spaces "j
 ust" libraries? Can we gives types to "everything"\, and if so\, should we
 ? What does it mean for future type systems? We'll demonstrate what F# 3.0
  specifically offers in the area of IRP and heterogeneous programming\, an
 d also look at how information-richness makes us reconsider programming la
 nguage and tooling design more generally\, and the themes that recur in th
 is kind of work.
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR