Deadlock-Free Session Types in Linear Haskell.

Wen Kokke Ornela Dardha

Published in: CoRR (2021)

Keyphrases

deadlock free
programming language

concurrency control
database

digital libraries
knn

ad hoc networks