{"id":"https://openalex.org/W4293812868","doi":"https://doi.org/10.1145/3547638","title":"Multiparty GV: functional multiparty session types with certified deadlock freedom","display_name":"Multiparty GV: functional multiparty session types with certified deadlock freedom","publication_year":2022,"publication_date":"2022-08-29","ids":{"openalex":"https://openalex.org/W4293812868","doi":"https://doi.org/10.1145/3547638"},"language":"en","primary_location":{"id":"doi:10.1145/3547638","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547638","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547638","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3547638","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066303700","display_name":"Jules Jacobs","orcid":"https://orcid.org/0000-0003-1976-3182"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jules Jacobs","raw_affiliation_strings":["Radboud University Nijmegen, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-1976-3182","affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083850156","display_name":"Stephanie Balzer","orcid":"https://orcid.org/0000-0002-8347-3529"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephanie Balzer","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":"https://orcid.org/0000-0002-8347-3529","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029418370","display_name":"Robbert Krebbers","orcid":"https://orcid.org/0000-0002-1185-5237"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Robbert Krebbers","raw_affiliation_strings":["Radboud University Nijmegen, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1185-5237","affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2197,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.89538269,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"6","issue":"ICFP","first_page":"466","last_page":"495"},"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.9998000264167786,"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.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8011895418167114},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.7489514946937561},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47813689708709717},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4670834541320801},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4657016396522522},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.46346986293792725},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09916406869888306},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09334644675254822}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8011895418167114},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7489514946937561},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47813689708709717},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4670834541320801},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4657016396522522},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.46346986293792725},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09916406869888306},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09334644675254822}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3547638","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547638","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547638","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/253552","is_oa":false,"landing_page_url":"https://repository.ubn.ru.nl/handle/2066/253552","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/253552","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/253552","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 6, 1 - 30","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3547638","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547638","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547638","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8100000023841858}],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G2863925590","display_name":null,"funder_award_id":"FA9550-21-1-0385","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G300615056","display_name":"Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols","funder_award_id":"2211996","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4516736450","display_name":null,"funder_award_id":"-21-1-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7010378412","display_name":null,"funder_award_id":"016.Veni","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G8941266395","display_name":null,"funder_award_id":"016.Veni.192.259","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4293812868.pdf","grobid_xml":"https://content.openalex.org/works/W4293812868.grobid-xml"},"referenced_works_count":75,"referenced_works":["https://openalex.org/W84711077","https://openalex.org/W196808440","https://openalex.org/W776882319","https://openalex.org/W1495368328","https://openalex.org/W1516360493","https://openalex.org/W1537467263","https://openalex.org/W1547651002","https://openalex.org/W1560340731","https://openalex.org/W1599340713","https://openalex.org/W1607623316","https://openalex.org/W1784055113","https://openalex.org/W1941373452","https://openalex.org/W1971043428","https://openalex.org/W1993460177","https://openalex.org/W2008132476","https://openalex.org/W2040105559","https://openalex.org/W2046488919","https://openalex.org/W2054670810","https://openalex.org/W2063818704","https://openalex.org/W2070880808","https://openalex.org/W2085243417","https://openalex.org/W2109568634","https://openalex.org/W2124126159","https://openalex.org/W2142988323","https://openalex.org/W2153557668","https://openalex.org/W2169668980","https://openalex.org/W2246451781","https://openalex.org/W2293728411","https://openalex.org/W2294770514","https://openalex.org/W2325347394","https://openalex.org/W2402424078","https://openalex.org/W2469507234","https://openalex.org/W2483412402","https://openalex.org/W2514073179","https://openalex.org/W2517371102","https://openalex.org/W2553788418","https://openalex.org/W2555837147","https://openalex.org/W2562833768","https://openalex.org/W2581223864","https://openalex.org/W2603624497","https://openalex.org/W2753352514","https://openalex.org/W2797550608","https://openalex.org/W2885030506","https://openalex.org/W2888816318","https://openalex.org/W2889218563","https://openalex.org/W2899725893","https://openalex.org/W2899726318","https://openalex.org/W2904348875","https://openalex.org/W2933941175","https://openalex.org/W2963481060","https://openalex.org/W2972991068","https://openalex.org/W2975389957","https://openalex.org/W3002954820","https://openalex.org/W3014307583","https://openalex.org/W3016508576","https://openalex.org/W3081329131","https://openalex.org/W3091175778","https://openalex.org/W3100105801","https://openalex.org/W3103377061","https://openalex.org/W3113857243","https://openalex.org/W3122350614","https://openalex.org/W3132401016","https://openalex.org/W3149940773","https://openalex.org/W3151288834","https://openalex.org/W3173862082","https://openalex.org/W3175560211","https://openalex.org/W3177169713","https://openalex.org/W3177385648","https://openalex.org/W3193512299","https://openalex.org/W3194868025","https://openalex.org/W3198885441","https://openalex.org/W4205402745","https://openalex.org/W4213249360","https://openalex.org/W4240807674","https://openalex.org/W6949877658"],"related_works":["https://openalex.org/W3087157779","https://openalex.org/W4306770904","https://openalex.org/W2348742136","https://openalex.org/W4231927834","https://openalex.org/W2166247150","https://openalex.org/W4243252198","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W4235530921"],"abstract_inverted_index":{"Session":[0],"types":[1,149],"have":[2,168],"recently":[3],"been":[4,169],"integrated":[5],"with":[6,99,135],"functional":[7,13,97],"languages,":[8],"bringing":[9],"message-passing":[10],"concurrency":[11],"to":[12,64,87,139,150,152],"programming.":[14],"Channel":[15],"endpoints":[16],"then":[17],"become":[18],"first-class":[19,136],"and":[20,30,124],"can":[21],"be":[22],"stored":[23],"in":[24,28,165],"data":[25],"structures,":[26],"captured":[27],"closures,":[29],"sent":[31],"along":[32],"channels.":[33],"Representatives":[34],"of":[35,45,69,72,114],"the":[36,76,111,172],"GV":[37,94],"(Wadler's":[38],"\"Good":[39],"Variation\")":[40],"session":[41,53,86,101,122,148],"type":[42],"family":[43],"are":[44],"particular":[46],"appeal":[47],"because":[48],"they":[49],"not":[50],"only":[51],"assert":[52],"fidelity":[54],"but":[55],"also":[56],"deadlock":[57,119],"freedom,":[58,120],"inspired":[59],"by":[60],"a":[61,85,96,128,143],"Curry-Howard":[62],"correspondence":[63],"linear":[65],"logic.":[66],"A":[67],"restriction":[68],"current":[70],"versions":[71],"GV,":[73,117],"however,":[74],"is":[75,156],"focus":[77],"on":[78],"binary":[79,147,161],"sessions,":[80],"limiting":[81],"concurrent":[82,104],"interactions":[83,105],"within":[84],"two":[88],"participants.":[89,108],"This":[90],"paper":[91,167],"introduces":[92],"Multiparty":[93],"(MPGV),":[95],"language":[98],"multiparty":[100],"types,":[102],"allowing":[103],"among":[106],"several":[107],"MPGV":[109,126,151,155],"upholds":[110],"strong":[112],"guarantees":[113],"its":[115],"ancestor":[116],"including":[118],"despite":[121],"interleaving":[123],"delegation.":[125],"has":[127],"novel":[129],"redirecting":[130],"construct":[131],"for":[132],"modular":[133],"programming":[134],"endpoints,":[137],"thanks":[138],"which":[140],"we":[141],"give":[142],"type-preserving":[144],"translation":[145],"from":[146],"show":[153],"that":[154],"strictly":[157],"more":[158],"general":[159],"than":[160],"GV.":[162],"All":[163],"results":[164],"this":[166],"mechanized":[170],"using":[171],"Coq":[173],"proof":[174],"assistant.":[175]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}