Multiple Random Walks on Paths and Grids. - Andrej Ivaskovic; Adrian Kosowski; Dominik Pajak; Thomas Sauerwald (STACS, 2017)

Data-Flow Analyses as Effects and Graded Monads. - Andrej Ivaskovic; Alan Mycroft; Dominic Orchard (FSCD, 2020)

A graded Monad for deadlock-free concurrency (functional pearl). - Andrej Ivaskovic; Alan Mycroft (Haskell@ICFP, 2020)