TY  - RPRT
TI  - Deadlock-Free Session Types in Linear Haskell
AU  - Wen Kokke
AU  - Ornela Dardha
PY  - 2021
UR  - https://arxiv.org/abs/2103.14481
ID  - 2103.14481
ER  -