BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Brand Objects and Gradual Contracts - Timothy Jones (Victoria Univ
 ersity of Wellington)
DTSTART:20150721T110000Z
DTEND:20150721T120000Z
UID:TALK60204@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Adding object branding to an existing structural system integr
 ates nominal and structural typing without excessively complicating the ty
 pe system. We have implemented brand objects to explicitly type objects\, 
 using existing features of the structurally typed language Grace\, along w
 ith a static type checker which treats the brands as nominal types. We int
 end to extend this approach to arbitrary\, gradually enforced contracts an
 d investigate the language features necessary for their implementation.
LOCATION:SS03
END:VEVENT
END:VCALENDAR