Deadlock-free session types in linear Haskell.

Wen Kokke Ornela Dardha

Published in: Haskell (2021)

Keyphrases

deadlock free
routing algorithm
programming language
concurrency control
database
databases
transaction processing
functional programming