BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Higher order reactive programming - Neel Krishnaswami
DTSTART:20100802T114500Z
DTEND:20100802T130000Z
UID:TALK25436@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:In this talk\, I describe a denotational model of higher-order
  functional reactive programming using ultrametric spaces\, which provide 
 a natural Cartesian closed generalization of causal stream functions. I'll
  then describe how reactive programs written in this language can be imple
 mented efficiently using an imperatively updated dataflow graph\, whose co
 rrectness proof uses ideas from rely-guarantee\, step-indexed models\, and
  separation logic.
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR