BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:"I just want to be pure": graded monads for program analysis -Andr
 ej Ivaskovic (computer laboratory). - Andrej Ivaskovic (computer laborator
 y).
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