Spreadsheet table transformations from examples (2011)

by W R Harris, S Gulwani
Venue:In POPL