"I just want to be pure": graded monads for program analysis -Andrej Ivaskovic (computer laboratory).

Add to your list(s) Download to your calendar using vCal

• Andrej Ivaskovic (computer laboratory).
• Saturday 07 March 2020, 10:00-10:30
• Winstanley Lecture Theatre, Trinity College.

If you have a question about this talk, please contact .

Functional programmers (especially the Haskell ones) are obsessed with making their functions pure, so they resemble mathematical (partial) functions. The most common way effectful code is written in Haskell is by using monads. In this talk, I will show how recent developments in the research of graded monads can be used to automatically verify useful properties of programs.

This talk is part of the Trinity Mathematical Society series.

This talk is included in these lists:

• Guy Emerson's list
• Trinity Mathematical Society
• Winstanley Lecture Theatre, Trinity College
• bld31

Note that ex-directory lists are not shown.