University of Cambridge > Talks.cam > Trinity Mathematical Society > "I just want to be pure": graded monads for program analysis -Andrej Ivaskovic (computer laboratory).

"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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity