BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Joinads: a retargetable control-flow construct for reactive\, para
 llel and concurrent programming - Tomas Petricek (Computer Laboratory\, Ca
 mbridge)
DTSTART:20110121T151500Z
DTEND:20110121T161500Z
UID:TALK29239@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Modern challenges led to a design of a wide range of programmi
 ng models for reactive\, parallel and concurrent programming\, but these a
 re often difficult to encode in general purpose languages. We present an a
 bstract type of computations called joinads together with a syntactic lang
 uage extension that aims to make it easier to use joinads in modern functi
 onal languages.\n\nOur extension generalizes pattern matching to work on a
 bstract computations. It keeps a familiar syntax and semantics of pattern 
 matching making it easy to reason about code\, even in a non-standard prog
 ramming model. We demonstrate our extension using three important programm
 ing models - a reactive model based on events\; a concurrent model based o
 n join calculus and a parallel model using futures. All three models are i
 mplemented as libraries that benefit from our syntactic extension. This ma
 kes them easier to use and also opens space for exploring new useful progr
 amming models. 
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR