Login / Signup
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