Comment by pjmlp

Uff what a great reply, many thanks for the overview of ongoing EA efforts.

I was talking about this kind of research papers, there was one also about linear/affine types in a C# extension, similar to Spec#, System C# and others, but I can't get the title right to find it.

"Uniqueness and Reference Immutability for Safe Parallelism"

https://www.microsoft.com/en-us/research/publication/uniquen...

"Simple, Fast and Safe Manual Memory Management"

https://www.microsoft.com/en-us/research/publication/simple-...