BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Compiling algebraic effects to Javascript in js_of_ocaml - Armaël
  Guéneau\, ENS Lyon (visiting OCamllabs)
DTSTART:20160217T130000Z
DTEND:20160217T140000Z
UID:TALK64551@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:In ocaml-effects\, KC Sivaramakrishnan adds algebraic effects 
 to OCaml. This provides a way to express\, in a composable fashion\, light
 weight concurrency\, generators\, and other patterns that boil down to del
 imited control. One interesting aspect of programming in OCaml is being ab
 le to produce Javascript code\, thanks to the js_of_ocaml compiler. In thi
 s talk\, I will present my work on trying to compile the new effects primi
 tives to Javascript. This comes as an additional pass in js_of_ocaml\, and
  makes use of existing compilation techniques used in a new setting.\n\n
LOCATION:FW11
END:VEVENT
END:VCALENDAR