BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards Compilation of Affine Algebraic Effect Handlers - Daniel H
 illerström
DTSTART:20160426T121500Z
DTEND:20160426T124500Z
UID:TALK65945@talks.cam.ac.uk
CONTACT:Gemma Gordon
DESCRIPTION:Algebraic effects combined with handlers provide a modular abs
 traction for modelling and controlling effectful computations. I have prev
 iously implemented this programming abstraction in the functional web-orie
 nted language Links. However\, the implementation is only supported by the
  interpreter. Currently\, I am working on compiling handlers to native cod
 e. OCaml effects/multicore compiler already compiles linear handlers to na
 tive code\, however\, I am interested in supporting the full generality of
  handlers. In order to achieve this goal I am going to do a type-driven tr
 anslation of Links handlers into OCaml handlers. In this talk I will give 
 a brief introduction to Links with effect handlers and discuss my compilat
 ion strategy.\n\nBio: I am a PhD student at the University of Edinburgh. B
 roadly speaking my main interests are the design and implementation of pro
 gramming languages. I am undertaking a joint PhD between compiler group in
  the Institute for Computing Systems and Architecture (ICSA) and the progr
 amming language group in the Laboratory for Foundations of Computer Scienc
 e (LFCS). My supervisors are Christophe Dubach (ICSA) and Sam Lindley (LFC
 S).
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR