Transforming spreadsheet data types using examples.

Rishabh Singh, Sumit Gulwani

Browse the full POPL paper archive.