BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Algebraic theories and computational effects - Sam Staton (Compute
 r Laboratory\, University of Cambridge)
DTSTART:20111109T141500Z
DTEND:20111109T151500Z
UID:TALK32387@talks.cam.ac.uk
CONTACT:Stephen Clark
DESCRIPTION:Algebraic theories provide a general way to study\ncomputation
 al effects in an impure functional programming language --\neffects such a
 s reading/writing to memory\, raising exceptions\, and\nnon-deterministic 
 choice. The algebraic theories are equational\, and so they\nsuggest progr
 am transformations on top of a semantic analysis.\n\nI will give a basic i
 ntroduction to this recent topic and present my work in\nthis area.\n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR