Andrej Ivaskovic

According to our database, Andrej Ivaskovic authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A graded Monad for deadlock-free concurrency (functional pearl).

Andrej Ivaskovic, Alan Mycroft

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

Data-Flow Analyses as Effects and Graded Monads.

Andrej Ivaskovic, Alan Mycroft, Dominic Orchard

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2017

Multiple Random Walks on Paths and Grids.

Andrej Ivaskovic, Adrian Kosowski, Dominik Pajak, Thomas Sauerwald

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017