{"id":"https://openalex.org/W7140194627","doi":"https://doi.org/10.48550/arxiv.2603.22032","title":"Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation","display_name":"Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation","publication_year":2026,"publication_date":"2026-03-23","ids":{"openalex":"https://openalex.org/W7140194627","doi":"https://doi.org/10.48550/arxiv.2603.22032"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.22032","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.22032","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.22032","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Schimpf, Albert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schimpf, Albert","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wehr, Stefan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wehr, Stefan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Bieniusa, Annette","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bieniusa, Annette","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.5681999921798706,"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.5681999921798706,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.22429999709129333,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.06729999929666519,"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/erlang","display_name":"Erlang (programming language)","score":0.8658000230789185},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.5552999973297119},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4805999994277954},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4560000002384186},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4472000002861023},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.39570000767707825},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.36550000309944153},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.365200012922287},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.35429999232292175}],"concepts":[{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.8658000230789185},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7998999953269958},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7675999999046326},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5552999973297119},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4805999994277954},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4560000002384186},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4472000002861023},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.39570000767707825},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.36550000309944153},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.35429999232292175},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.3255000114440918},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.30140000581741333},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.298799991607666},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28630000352859497},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.2621999979019165},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.22032","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.22032","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.22032","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.22032","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Erlang's":[0,90,136],"dynamic":[1,60],"typing":[2],"discipline":[3],"can":[4],"lead":[5],"to":[6,45,55],"runtime":[7,18],"errors":[8,19],"that":[9,103],"persist":[10],"even":[11],"after":[12],"process":[13],"restarts.":[14],"Some":[15],"of":[16,89,111,120],"these":[17,39],"could":[20],"be":[21],"prevented":[22],"through":[23],"static":[24],"type":[25,31,61,80,92,96,99,104,113,123,144],"checking.":[26],"While":[27],"Erlang":[28,50,83,122,153],"provides":[29],"a":[30,78,112],"specification":[32],"language,":[33],"the":[34,86,121,143],"compiler":[35],"does":[36],"not":[37],"enforce":[38],"types,":[40,65],"thereby":[41],"limiting":[42],"their":[43],"role":[44],"documentation":[46],"purposes.":[47],"Type":[48],"checking":[49,105],"code":[51],"is":[52,115],"challenging":[53],"due":[54],"language":[56,124,128],"features":[57,88,119],"such":[58],"as":[59],"tests,":[62],"subtyping,":[63],"equi-recursive":[64],"polymorphism,":[66],"intersection":[67],"types":[68],"in":[69,150],"signatures,":[70],"and":[71,101,125,142],"untagged":[72],"union":[73],"types.":[74],"This":[75],"work":[76],"presents":[77],"set-theoretic":[79],"system":[81,97],"for":[82],"which":[84],"captures":[85],"core":[87],"existing":[91],"language.":[93],"The":[94],"formal":[95],"guarantees":[98],"soundness,":[100],"ensures":[102],"remains":[106],"decidable.":[107],"Additionally,":[108],"an":[109,139],"implementation":[110],"checker":[114,145],"provided,":[116],"supporting":[117],"all":[118],"most":[126],"term-level":[127],"constructs.":[129],"A":[130],"case":[131],"study":[132],"with":[133],"modules":[134],"from":[135],"standard":[137],"library,":[138],"external":[140],"project,":[141],"itself":[146],"demonstrates":[147],"its":[148],"effectiveness":[149],"verifying":[151],"real-world":[152],"code.":[154]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-03-25T00:00:00"}