I believe this is the implementation described in this paper published at POPL 2016: https://www.microsoft.com/en-us/research/publication/transforming-spreadsh

I believe this is the implementation described in this paper published at POPL 2016: https://www.microsoft.com/en-us/research/publication/transforming-spreadsheet-data-types-using-examples/ 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/ https://www.microsoft.com/en-us/research/people/sumitg/