BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:&quot\;I just want to be pure&quot\;: graded monads for program an
 alysis -Andrej Ivaskovic (computer laboratory). - Andrej Ivaskovic (comput
 er laboratory).
DTSTART:20200307T100000Z
DTEND:20200307T103000Z
UID:TALK140734@talks.cam.ac.uk
CONTACT:73969
DESCRIPTION:Functional programmers (especially the Haskell ones) are obses
 sed with making their functions pure\, so they resemble mathematical (part
 ial) functions. The most common way effectful code is written in Haskell i
 s by using monads. In this talk\, I will show how recent developments in t
 he research of graded monads can be used to automatically verify useful pr
 operties of programs.
LOCATION:Winstanley Lecture Theatre\, Trinity College
END:VEVENT
END:VCALENDAR