Deadlock-free session types in linear Haskell

Wen Kokke, Ornela Dardha. Deadlock-free session types in linear Haskell. In Jurriaan Hage, editor, Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021. pages 1-13, ACM, 2021. [doi]

Abstract

Abstract is missing.