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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

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

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Walker Room 11, Fitzwilliam College Both in-person (location TBA, DAMTP) and online (details to be sent by email) Webinar & LT2, Computer Laboratory, William Gates Building.

Other talks

Quantifying the unquantifiable? Assessing the importance of almsgiving in early modern France and Spain Ice in a mostly-Arctic Context TBC Coming soon Tissue-scale communication in cancer development Title TBC
 

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