乐胖代购免代理版

{"id":"https://openalex.org/W4401943833","doi":"https://doi.org/10.1145/3677995.3678191","title":"Nominal Types for Erlang","display_name":"Nominal Types for Erlang","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4401943833","doi":"https://doi.org/10.1145/3677995.3678191"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677995.3678191","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678191","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678191","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5106801735","display_name":"Isabell Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I1306339040","display_name":"Ericsson (Sweden)","ror":"https://ror.org/05a7rhx54","country_code":"SE","type":"company","lineage":["https://openalex.org/I1306339040"]},{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Isabell Huang","raw_affiliation_strings":["Ericsson, Stockholm, Sweden / Uppsala University, Uppsala, Sweden"],"affiliations":[{"raw_affiliation_string":"Ericsson, Stockholm, Sweden / Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I1306339040","https://openalex.org/I123387679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106801736","display_name":"John H\u00f6gberg","orcid":null},"institutions":[{"id":"https://openalex.org/I1306339040","display_name":"Ericsson (Sweden)","ror":"https://ror.org/05a7rhx54","country_code":"SE","type":"company","lineage":["https://openalex.org/I1306339040"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"John H\u00f6gberg","raw_affiliation_strings":["Ericsson, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Ericsson, Stockholm, Sweden","institution_ids":["https://openalex.org/I1306339040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047220614","display_name":"Kiko Fernandez-Reyes","orcid":"https://orcid.org/0000-0001-8654-118X"},"institutions":[{"id":"https://openalex.org/I1306339040","display_name":"Ericsson (Sweden)","ror":"https://ror.org/05a7rhx54","country_code":"SE","type":"company","lineage":["https://openalex.org/I1306339040"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Kiko Fernandez-Reyes","raw_affiliation_strings":["Ericsson, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Ericsson, Stockholm, Sweden","institution_ids":["https://openalex.org/I1306339040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053132997","display_name":"Tobias Wrigstad","orcid":"https://orcid.org/0000-0002-4269-5408"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Tobias Wrigstad","raw_affiliation_strings":["Uppsala University, Uppsala, Sweden"],"affiliations":[{"raw_affiliation_string":"Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":84},"biblio":{"volume":null,"issue":null,"first_page":"24","last_page":"32"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.999,"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.999,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9867,"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/T11567","display_name":"semigroups and automata theory","score":0.968,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.7782551},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type Inference","score":0.495802}],"concepts":[{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.7782551},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.66281736},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26024753},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.079508066}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677995.3678191","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678191","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677995.3678191","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677995.3678191","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":28,"referenced_works":["https://openalex.org/W1556604985","https://openalex.org/W1557561422","https://openalex.org/W1993209012","https://openalex.org/W2000005946","https://openalex.org/W2002866920","https://openalex.org/W2008732772","https://openalex.org/W2055483780","https://openalex.org/W2070310827","https://openalex.org/W2112609211","https://openalex.org/W2123344956","https://openalex.org/W2156076209","https://openalex.org/W2163976959","https://openalex.org/W2166822586","https://openalex.org/W2183621552","https://openalex.org/W2621005330","https://openalex.org/W2764150781","https://openalex.org/W2891091460","https://openalex.org/W2911692446","https://openalex.org/W2962829798","https://openalex.org/W2964500203","https://openalex.org/W3137596000","https://openalex.org/W3181788723","https://openalex.org/W3194983917","https://openalex.org/W4205786399","https://openalex.org/W4229717394","https://openalex.org/W4247072772","https://openalex.org/W4294844785","https://openalex.org/W4379410848"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W4232016220","https://openalex.org/W3193352093","https://openalex.org/W2748952813","https://openalex.org/W2179534325","https://openalex.org/W2145406432","https://openalex.org/W2096747805","https://openalex.org/W2001599259","https://openalex.org/W1518714595","https://openalex.org/W121452686"],"abstract_inverted_index":{"Erlang":[0],"is":[1,32,48,109,117],"a":[2,16,71,79,87],"functional":[3],"programming":[4],"language":[5],"with":[6,15,70,99],"structural":[7,123],"type-checking.":[8,25],"Opaque":[9],"types":[10,14,28,52,66,85,95,104,136],"are":[11,22],"the":[12,37,44,61,129],"only":[13],"nominal":[17,30,65,84,94,103,135],"component,":[18],"where":[19,46],"their":[20],"names":[21,54],"used":[23],"for":[24,29,67,82],"Using":[26],"opaque":[27,140],"typing":[31],"possible,":[33],"but":[34],"it":[35,47],"limits":[36],"use":[38],"of":[39,64,89,121],"pattern-matching":[40],"and":[41,86,105,146],"deconstruction":[42],"to":[43,101,111],"module":[45],"defined.":[49],"To":[50],"distinguish":[51],"by":[53],"without":[55],"imposing":[56],"extra":[57],"constraints,":[58],"we":[59,132],"introduce":[60],"new":[62,80],"concept":[63],"Erlang,":[68],"together":[69],"well-tested":[72],"type-checking":[73,116,124],"implementation":[74],"in":[75,128],"Dialyzer.":[76],"We":[77],"define":[78],"syntax":[81],"declaring":[83],"set":[88],"rules":[90],"that":[91,134],"specify":[92],"how":[93],"should":[96],"be":[97],"type-checked":[98],"respect":[100],"other":[102],"non-nominal":[106],"types,":[107,141],"which":[108],"designed":[110],"ensure":[112],"backwards":[113],"compatibility.":[114],"Nominal":[115],"implemented":[118],"on":[119],"top":[120],"Dialyzer's":[122,144],"logic.":[125],"Through":[126],"testing":[127],"Erlang/OTP":[130],"codebase,":[131],"show":[133],"can":[137],"encode":[138],"Erlang's":[139],"thereby":[142],"improving":[143],"performance":[145],"maintainability.":[147]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4401943833","counts_by_year":[],"updated_date":"2024-12-04T20:09:25.240995","created_date":"2024-08-29"}