Skip to content

Deadlock-free session types in linear Haskell.

Wen Kokke, Ornela Dardha

Year2021
ProceedingsHaskell

Browse the full HASKELL paper archive.