{"id":"https://openalex.org/W2093679906","doi":"https://doi.org/10.1109/vlhcc.2014.6883038","title":"Let's hear both sides: On combining type-error reporting tools","display_name":"Let's hear both sides: On combining type-error reporting tools","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2093679906","doi":"https://doi.org/10.1109/vlhcc.2014.6883038","mag":"2093679906"},"language":"en","primary_location":{"id":"doi:10.1109/vlhcc.2014.6883038","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlhcc.2014.6883038","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100320969","display_name":"Sheng Chen","orcid":"https://orcid.org/0000-0001-6882-600X"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sheng Chen","raw_affiliation_strings":["Oregon State University","Oregon State University>"],"affiliations":[{"raw_affiliation_string":"Oregon State University","institution_ids":["https://openalex.org/I131249849"]},{"raw_affiliation_string":"Oregon State University>","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078733350","display_name":"Martin Erwig","orcid":"https://orcid.org/0000-0002-7471-4554"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Erwig","raw_affiliation_strings":["Oregon State University","Oregon State University>"],"affiliations":[{"raw_affiliation_string":"Oregon State University","institution_ids":["https://openalex.org/I131249849"]},{"raw_affiliation_string":"Oregon State University>","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091115326","display_name":"Karl Smeltzer","orcid":null},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karl Smeltzer","raw_affiliation_strings":["Oregon State University","Oregon State University>"],"affiliations":[{"raw_affiliation_string":"Oregon State University","institution_ids":["https://openalex.org/I131249849"]},{"raw_affiliation_string":"Oregon State University>","institution_ids":["https://openalex.org/I131249849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100320969"],"corresponding_institution_ids":["https://openalex.org/I131249849"],"apc_list":null,"apc_paid":null,"fwci":2.045,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89495775,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"145","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10260","display_name":"Software Engineering Research","score":0.9952999949455261,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.9245906472206116},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8336102962493896},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8301261067390442},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5889697074890137},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.559871256351471},{"id":"https://openalex.org/keywords/cohesion","display_name":"Cohesion (chemistry)","score":0.47156378626823425},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45146608352661133},{"id":"https://openalex.org/keywords/word-error-rate","display_name":"Word error rate","score":0.44731104373931885},{"id":"https://openalex.org/keywords/strengths-and-weaknesses","display_name":"Strengths and weaknesses","score":0.43061378598213196},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3491499423980713},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22344475984573364}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.9245906472206116},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8336102962493896},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8301261067390442},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5889697074890137},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.559871256351471},{"id":"https://openalex.org/C104054115","wikidata":"https://www.wikidata.org/wiki/Q216828","display_name":"Cohesion (chemistry)","level":2,"score":0.47156378626823425},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45146608352661133},{"id":"https://openalex.org/C40969351","wikidata":"https://www.wikidata.org/wiki/Q3516228","display_name":"Word error rate","level":2,"score":0.44731104373931885},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.43061378598213196},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3491499423980713},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22344475984573364},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vlhcc.2014.6883038","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlhcc.2014.6883038","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W33252908","https://openalex.org/W77592238","https://openalex.org/W1506661840","https://openalex.org/W1680392829","https://openalex.org/W1729749005","https://openalex.org/W1975519887","https://openalex.org/W2011725693","https://openalex.org/W2013935724","https://openalex.org/W2016954568","https://openalex.org/W2039996613","https://openalex.org/W2045041259","https://openalex.org/W2045313089","https://openalex.org/W2049424119","https://openalex.org/W2056310485","https://openalex.org/W2098913585","https://openalex.org/W2103862636","https://openalex.org/W2117968587","https://openalex.org/W2134093956","https://openalex.org/W2147609113","https://openalex.org/W2161052636","https://openalex.org/W2166822586","https://openalex.org/W2168280960","https://openalex.org/W2293332143","https://openalex.org/W6637386731","https://openalex.org/W6662756126"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W1488646450","https://openalex.org/W4296274916","https://openalex.org/W1504459189"],"abstract_inverted_index":{"Producing":[0],"precise":[1],"and":[2,26,101,123],"helpful":[3],"type":[4,98,116],"error":[5,99],"messages":[6],"has":[7],"been":[8,29],"a":[9,44,72,90,134,161,174],"challenge":[10],"for":[11,18],"the":[12,53,68,112,120,126,144,207],"implementations":[13],"of":[14,46,70,74,125,146,154,160,163,177,183,209],"functional":[15],"programming":[16],"languages":[17],"over":[19],"3":[20],"decades":[21],"now.":[22],"Many":[23],"different":[24,58,63],"approaches":[25,59,128],"methods":[27],"have":[28,66,87],"tried":[30],"to":[31,82,110,132,136,186,193],"solve":[32],"this":[33,170,195],"thorny":[34],"problem,":[35],"but":[36],"current":[37],"type-error":[38],"reporting":[39],"tools":[40,75,139,211],"still":[41],"suffer":[42],"from":[43],"lack":[45],"precision":[47],"in":[48,62,115,212],"many":[49],"cases.":[50],"Based":[51],"on":[52],"rather":[54],"obvious":[55],"observation":[56],"that":[57,76,140,167,169],"work":[60],"well":[61],"situations,":[64],"we":[65,86,129,150,199,204],"studied":[67,88],"question":[69],"whether":[71],"combination":[73,171,208],"exploits":[77],"their":[78],"diversity":[79],"can":[80],"lead":[81],"improved":[83],"accuracy.":[84],"Specifically,":[85,149],"Helium,":[89],"Haskell":[91,165],"implementation":[92],"particularly":[93],"aimed":[94],"at":[95],"producing":[96],"good":[97],"messages,":[100],"Lazy":[102,188],"Typing,":[103],"an":[104,152,181],"approach":[105],"developed":[106],"previously":[107],"by":[108],"us":[109],"address":[111],"premature-error-commitment":[113],"problem":[114],"checkers.":[117],"By":[118],"analyzing":[119],"respective":[121],"strengths":[122],"weaknesses":[124],"two":[127],"were":[130],"able":[131],"identify":[133],"strategy":[135,172],"combine":[137],"both":[138],"could":[141],"markedly":[142],"improve":[143],"accuracy":[145],"reported":[147],"errors.":[148],"report":[151,202],"evaluation":[153],"1069":[155],"unique":[156],"ill-typed":[157],"programs":[158,166],"out":[159],"total":[162],"11256":[164],"reveals":[168],"enjoys":[173],"correctness":[175],"rate":[176],"79%,":[178],"which":[179],"is":[180],"improvement":[182],"22%/17%":[184],"compared":[185],"using":[187],"Typing/Helium":[189],"alone.":[190],"In":[191],"addition":[192],"describing":[194],"particular":[196],"case":[197],"study,":[198],"will":[200],"also":[201],"insights":[203],"gained":[205],"into":[206],"error-reporting":[210],"general.":[213]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}