BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Moggi's Monads - Philip Saville (University of Cambridge)
DTSTART:20190123T110000Z
DTEND:20190123T120000Z
UID:TALK119152@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Monads are used in functional languages such as Haskell to exp
 licitly \nseparate effectful behaviour from pure behaviour.  In this talk 
 we \nexplore the theoretical underpinnings of this idea\, starting from \n
 Moggi's 'computational lambda calculus' and showing how (strong) monads \n
 give a sound and complete semantics for the language. We will use some \nc
 ategory theory\, but the talk will be self-contained. If time permits\, \n
 we shall see how monads arise in other parts of mathematics and \ntheoreti
 cal computer science as models of algebraic constructions.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR