BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Dataflow languages and the semantics of context-dependent programm
 ing - Andrej Ivašković
DTSTART:20190213T110000Z
DTEND:20190213T120000Z
UID:TALK120364@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:The dataflow programming paradigm\, extending the idea of prog
 ramming \nwith streams\, was defined and explored by Wadge and Ashcroft in
  the \nearly 80s with their language Lucid. One possible way of looking at
  its \nformal semantics provides an introduction to a whole range of diffe
 rent \nanalyses about context-dependent programming. In this talk\, we wil
 l \ndefine a simple dataflow language\, which will provide an introduction
  to \nprogramming with comonads. We assume basic familiarity with formal \
 nsemantics and type systems\, and we will be using some category theory \n
 later in the talk.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR