Skip to content

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

Andrej Ivaskovic, Alan Mycroft

Year2020
ProceedingsHaskell@ICFP

Browse the full HASKELL paper archive.