BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Programming with monads and graded monads - Andrej Ivašković
DTSTART:20191030T110000Z
DTEND:20191030T120000Z
UID:TALK134224@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Monads can be mystifying for the novice functional programmer\
 , even though their use in pure languages such as Haskell is essential. In
  this talk\, I will give a gentle\, example-driven introduction to monads.
  I will then introduce graded monads as a powerful generalisation\, with a
 n emphasis on their applications. The only prerequisites for this talk are
  knowledge of basic functional programming (at the level of an introductor
 y undergraduate course) and an understanding of type systems.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR