<https://www.microsoft.com/en-us/research/people/daan>

<https://github.com/koka-lang/koka>

<https://github.com/microsoft/mimalloc>