{"id":"https://openalex.org/W3214746205","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/8","title":"Types for Tables: A Language Design Benchmark","display_name":"Types for Tables: A Language Design Benchmark","publication_year":2021,"publication_date":"2021-11-15","ids":{"openalex":"https://openalex.org/W3214746205","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/8","mag":"3214746205"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2022/6/8","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/8","pdf_url":"https://arxiv.org/pdf/2111.10412v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2111.10412v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066442933","display_name":"Kuang-Chen Lu","orcid":"https://orcid.org/0000-0001-6502-9275"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kuang-Chen Lu","raw_affiliation_strings":["Brown University, USA"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002785598","display_name":"Ben Greenman","orcid":"https://orcid.org/0000-0001-7078-9287"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Greenman","raw_affiliation_strings":["Brown University, USA"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024394821","display_name":"Shriram Krishnamurthi","orcid":"https://orcid.org/0000-0001-5184-1975"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shriram Krishnamurthi","raw_affiliation_strings":["Brown University, USA"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5066442933"],"corresponding_institution_ids":["https://openalex.org/I175594653"],"apc_list":null,"apc_paid":null,"fwci":0.2839,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65680988,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"6","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13197","display_name":"Spreadsheets and End-User Computing","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8460938930511475},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7118299603462219},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.7104558944702148},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6136994361877441},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5956299304962158},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.560429573059082},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5543825626373291},{"id":"https://openalex.org/keywords/datasheet","display_name":"Datasheet","score":0.5355097651481628},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.45858168601989746},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4411658048629761},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4387253224849701},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.42508426308631897},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35563546419143677},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.347806841135025},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.2294568121433258}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8460938930511475},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7118299603462219},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.7104558944702148},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6136994361877441},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5956299304962158},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.560429573059082},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5543825626373291},{"id":"https://openalex.org/C2781384022","wikidata":"https://www.wikidata.org/wiki/Q1172383","display_name":"Datasheet","level":2,"score":0.5355097651481628},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.45858168601989746},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4411658048629761},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4387253224849701},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.42508426308631897},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35563546419143677},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.347806841135025},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2294568121433258},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.22152/programming-journal.org/2022/6/8","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/8","pdf_url":"https://arxiv.org/pdf/2111.10412v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2111.10412","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2111.10412","pdf_url":"https://arxiv.org/pdf/2111.10412","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2022/6/8","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/8","pdf_url":"https://arxiv.org/pdf/2111.10412v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7300000190734863}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3214746205.pdf","grobid_xml":"https://content.openalex.org/works/W3214746205.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W198617740","https://openalex.org/W840947746","https://openalex.org/W1019939734","https://openalex.org/W1946588374","https://openalex.org/W1963557108","https://openalex.org/W1985954365","https://openalex.org/W1992007857","https://openalex.org/W2000491655","https://openalex.org/W2022300126","https://openalex.org/W2031074783","https://openalex.org/W2036378583","https://openalex.org/W2045313089","https://openalex.org/W2047497632","https://openalex.org/W2050968492","https://openalex.org/W2051001073","https://openalex.org/W2074674709","https://openalex.org/W2077022777","https://openalex.org/W2078380329","https://openalex.org/W2087306070","https://openalex.org/W2095631859","https://openalex.org/W2103028615","https://openalex.org/W2104789737","https://openalex.org/W2112866468","https://openalex.org/W2121038016","https://openalex.org/W2121082877","https://openalex.org/W2124212956","https://openalex.org/W2129286663","https://openalex.org/W2134093956","https://openalex.org/W2151856838","https://openalex.org/W2152456366","https://openalex.org/W2159745859","https://openalex.org/W2342249984","https://openalex.org/W2472097883","https://openalex.org/W2569339511","https://openalex.org/W2726953349","https://openalex.org/W2761740351","https://openalex.org/W2795038878","https://openalex.org/W2795883255","https://openalex.org/W2804829712","https://openalex.org/W2899873839","https://openalex.org/W2915777784","https://openalex.org/W2963218353","https://openalex.org/W2963384924","https://openalex.org/W2995917016","https://openalex.org/W3000240292","https://openalex.org/W3005705150","https://openalex.org/W3030839882","https://openalex.org/W3045486034","https://openalex.org/W3109289644"],"related_works":["https://openalex.org/W4379115841","https://openalex.org/W2083794993","https://openalex.org/W3194833114","https://openalex.org/W1511772879","https://openalex.org/W4205868343","https://openalex.org/W2186315912","https://openalex.org/W2248125223","https://openalex.org/W2588591308","https://openalex.org/W2127898439","https://openalex.org/W3082894236"],"abstract_inverted_index":{"Context":[0],"Tables":[1],"are":[2,19,341],"ubiquitous":[3],"formats":[4],"for":[5,9,286,338],"data.":[6],"Therefore,":[7],"techniques":[8],"writing":[10],"correct":[11],"programs":[12],"over":[13,214],"tables,":[14],"and":[15,46,81,121,156,278,304,312,350,361],"debugging":[16],"incorrect":[17],"ones,":[18],"vital.":[20],"Our":[21,194,228,359],"specific":[22],"focus":[23],"in":[24,166,203,262,275,290,321,326],"this":[25,171,204,288],"paper":[26,62],"is":[27,51,65,133,348],"on":[28,319],"rich":[29],"types":[30],"that":[31,164],"articulate":[32],"the":[33,108,182,239,251,265,331,351],"properties":[34],"of":[35,55,72,110,128,139,144,160,176,184,190,230,241,354],"tabular":[36,339,346],"operations.":[37,57,73,130],"We":[38,115,153,169,280,295,316],"wish":[39],"to":[40,67,79,86,123,172,187,200,210,222,237,329,343,366,375],"study":[41],"both":[42,276],"their":[43,224,255],"expressive":[44,226,352],"power":[45,353],"diagnostic":[47],"quality.":[48],"Inquiry":[49],"There":[50],"no":[52,105],"\"standard":[53,126],"library\"":[54,127],"table":[56,129],"As":[58],"a":[59,125,136,158,174,185,197,217,235,283,291,377],"result,":[60],"every":[61],"(and":[63,145],"project)":[64],"free":[66],"use":[68],"its":[69,140],"own":[70],"(sub)set":[71],"This":[74],"makes":[75],"artifacts":[76],"very":[77],"difficult":[78],"compare,":[80],"it":[82],"can":[83,253,258,363],"be":[84,101,271],"hard":[85,342],"tell":[87],"whether":[88],"omitted":[89],"operations":[90],"were":[91],"left":[92],"out":[93],"by":[94,135],"oversight":[95],"or":[96],"because":[97],"they":[98],"cannot":[99],"actually":[100],"expressed.":[102],"Furthermore,":[103],"virtually":[104],"papers":[106],"discuss":[107],"quality":[109,240],"type":[111,151,336,355],"error":[112,248],"feedback.":[113,242],"Approach":[114],"combed":[116],"through":[117],"several":[118],"existing":[119],"languages":[120],"libraries":[122],"create":[124],"Each":[131],"entry":[132],"accompanied":[134],"detailed":[137],"specification":[138],"\"type,\"":[141],"expressed":[142],"independent":[143],"hence":[146],"not":[147],"constrained":[148],"by)":[149],"any":[150],"language.":[152,378],"also":[154,232,281,371],"studied":[155],"categorized":[157],"corpus":[159],"(student)":[161],"program":[162],"edits":[163],"resulted":[165],"table-related":[167],"errors.":[168],"used":[170],"generate":[173,330],"suite":[175,219],"erroneous":[177],"programs.":[178],"Finally,":[179],"we":[180],"adapted":[181],"concept":[183],"datasheet":[186,284,362],"facilitate":[188],"comparisons":[189],"different":[191],"implementations.":[192],"Knowledge":[193],"benchmark":[195,299,360],"creates":[196],"common":[198],"ground":[199],"frame":[201],"work":[202],"area.":[205],"Language":[206],"designers":[207],"who":[208,244,260],"claim":[209],"support":[211,337],"typed":[212],"programming":[213,340,347],"tables":[215],"have":[216,296,317],"clear":[218],"against":[220],"which":[221],"demonstrate":[223,238,254],"system's":[225],"power.":[227],"family":[229],"errors":[231],"gives":[233],"them":[234],"chance":[236],"Researchers":[243],"improve":[245],"one":[246],"aspect-especially":[247],"reporting-without":[249],"changing":[250],"other":[252],"improvement,":[256],"as":[257,306,308],"those":[259],"engage":[261],"trade-offs":[263],"between":[264],"two.":[266],"The":[267],"net":[268],"result":[269],"should":[270],"much":[272],"better":[273],"science":[274,328],"expressiveness":[277],"diagnostics.":[279],"introduce":[282],"format":[285],"presenting":[287],"knowledge":[289],"methodical":[292],"way.":[293],"Grounding":[294],"generated":[297],"our":[298],"from":[300],"real":[301],"languages,":[302],"libraries,":[303],"programs,":[305],"well":[307],"personal":[309],"experience":[310,320],"conducting":[311],"teaching":[313],"data":[314,327],"science.":[315,369],"drawn":[318],"engineering":[322],"and,":[323],"more":[324,367],"recently,":[325],"datasheet.":[332],"Importance":[333],"Claims":[334],"about":[335],"evaluate.":[344],"However,":[345],"ubiquitous,":[349],"systems":[356],"keeps":[357],"growing.":[358],"help":[364],"lead":[365],"orderly":[368],"It":[370],"benefits":[372],"programmers":[373],"trying":[374],"choose":[376]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}