This is excellent work and Microsoft Research continues to leave a positive impression on me by reason of what they're focusing their energy on.
This might be one of the only benefits to monopolistic presences -- the amount of great minds in the same place, set free to mingle and create can produce amazing results when a benevolent sponsor exists and it's tunnel-visioned on profit.
I'm quite cynical towards Microsoft but I am very grateful that they publish at least some of their papers/insights and their links (to existing papers) generally don't die.
https://github.com/koka-lang/koka https://github.com/microsoft/mimalloc