6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Martin Erwig
Spreadsheet tables are often labeled, and these labels effectively constitute types for the data in the table. In such cases tables can be considered to be built from typed data wh…