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 wel

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/koka-lang/koka https://github.com/microsoft/mimalloc https://github.com/microsoft/mimalloc