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.
Indeed, and not only did they develop the Perceus technique for the Koka language, but the immediately practical mimalloc allocator came out of that work as well.
https://github.com/koka-lang/koka https://github.com/microsoft/mimalloc