"Linear Haskell" https://www.microsoft.com/en-us/research/uploads/prod/2017/12/linear-haskell-popl18-with-appendices.pdf https://www.microsoft.com/en-us/resear

"Linear Haskell" https://www.microsoft.com/en-us/research/uploads/prod/2017/12/linear-haskell-popl18-with-appendices.pdf https://www.microsoft.com/en-us/research/uploads/prod/2017/1... It's pretty long but it's pretty easy to just random-access read the examples for motivation. Both the Socket and the mutable array examples are great.