Andrej Ivaskovic, Alan Mycroft. A graded Monad for deadlock-free concurrency (functional pearl). In Tom Schrijvers, editor, Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020. pages 17-30, ACM, 2020. [doi]
Abstract is missing.