BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic &\; Semantics for Dummies
SUMMARY:Monads and the semantics of effects - Speaker to b
e confirmed
DTSTART;TZID=Europe/London:20171027T110000
DTEND;TZID=Europe/London:20171027T120000
UID:TALK94681AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/94681
DESCRIPTION:Monads have been used to add effects to pure langu
ages ever since Moggi's seminal work in the late 8
0s\, but their history in category theory is much
longer. This talk will have two parts: firstly\, w
e will talk about monads from the perspective of c
ategory theory\, and secondly we will talk about u
sing monads to add effects to the lambda calculus.
We shall see how monads describe extra algebraic
structure in a category\, and see some familiar an
d not-so-familiar examples. We shall then study th
e extra structure we need to model effects\, and d
evelop a sound extension of the lambda calculus wi
th an arbitrary effect. \n\n_Prerequisites_: I wil
l not use assume any knowledge of category theory
beyond the basics\, in particular that already cov
ered in the Category Theory course.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
CONTACT:Philip Saville
END:VEVENT
END:VCALENDAR