BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Monads and the semantics of effects - Philip Saville (University o
 f Cambridge)
DTSTART:20171027T100000Z
DTEND:20171027T110000Z
UID:TALK94681@talks.cam.ac.uk
CONTACT:Philip Saville
DESCRIPTION:Monads have been used to add effects to pure languages ever si
 nce Moggi's seminal work in the late 80s\, but their history in category t
 heory is much longer. This talk will have two parts: firstly\, we will tal
 k about monads from the perspective of category theory\, and secondly we w
 ill talk about using monads to add effects to the lambda calculus. We shal
 l see how monads describe extra algebraic structure in a category\, and se
 e some familiar and not-so-familiar examples. We shall then study the extr
 a structure we need to model effects\, and develop a sound extension of th
 e lambda calculus with an arbitrary effect. \n\n_Prerequisites_: I will no
 t use assume any knowledge of category theory beyond the basics\, in parti
 cular that already covered in the Category Theory course.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR