If anyone's interested, there's a pretty well written book about the implementation:

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