Andrej Ivaskovic

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Object Oriented

Graph Laplacian

Top Venues

Publications

Andrej Ivaskovic, Alan Mycroft, Dominic Orchard
Data-Flow Analyses as Effects and Graded Monads. FSCD (2020)
Andrej Ivaskovic, Alan Mycroft
A graded Monad for deadlock-free concurrency (functional pearl). Haskell@ICFP (2020)
Andrej Ivaskovic, Adrian Kosowski, Dominik Pajak, Thomas Sauerwald
Multiple Random Walks on Paths and Grids. STACS (2017)