BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Interoperation of Lucid's Dataflow paradigm and Object-orientation
  with a Coalgebraic Semantics - Dominic Orchard\, Computer Lab
DTSTART:20090313T151500Z
DTEND:20090313T161500Z
UID:TALK17211@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:This talk discusses the interoperation of two differing progra
 mming paradigms: the dataflow paradigm of the language Lucid\, and the obj
 ect-oriented paradigm.\nThe language Lucian interoperates these paradigms\
 , allowing dataflow to be embedded into object-orientation. Composition of
  the two paradigms introduces 'declarative intensional objects'\, capturin
 g the 'history' of an object in Lucid-style intensional semantics.\nThe ca
 tegory theoretic approach of defining data structures coalgebraically is l
 everaged to give a semantics for the two paradigms and for the interoperat
 ion.\n\nLucid\, Lucian\, and Coalgebras will be explained.
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR