Vasconcelos, 2009. Session types for linear multithreaded functional programming, in: . ACM Press.. https://doi.org/10.1145/1599410.1599411