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

Andrej Ivaskovic Alan Mycroft

Published in: Haskell@ICFP (2020)

Keyphrases

deadlock free
concurrency control
transaction processing
routing algorithm
database systems
distributed databases
fine grained
database management systems
distributed database systems
object oriented
shortest path
data streams
digital libraries
relational databases
b tree