Sam Lindley, J. Garrett Morris. Embedding session types in Haskell. In Geoffrey Mainland, editor, Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016. pages 133-145, ACM, 2016. [doi]
Abstract is missing.