I believe this is the implementation described in this paper published at POPL 2016:

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

Though it probably also uses more recent work from the same group:

https://www.microsoft.com/en-us/research/people/sumitg/