{"id":"https://openalex.org/W2053657070","doi":"https://doi.org/10.1017/s0960129512000886","title":"Deriving session and union types for objects","display_name":"Deriving session and union types for objects","publication_year":2013,"publication_date":"2013-05-09","ids":{"openalex":"https://openalex.org/W2053657070","doi":"https://doi.org/10.1017/s0960129512000886","mag":"2053657070"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129512000886","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000886","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9053926","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083629281","display_name":"Lorenzo Bettini","orcid":"https://orcid.org/0000-0002-4481-8096"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]},{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"LORENZO BETTINI","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email:","Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email: bettini@di.unito.it; capecchi@di.unito.it; dezani@di.unito.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email:","institution_ids":["https://openalex.org/I177477856","https://openalex.org/I55143463"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email: bettini@di.unito.it; capecchi@di.unito.it; dezani@di.unito.it","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022120276","display_name":"Sara Capecchi","orcid":"https://orcid.org/0000-0001-6157-2932"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]},{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"SARA CAPECCHI","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email:","Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email: bettini@di.unito.it; capecchi@di.unito.it; dezani@di.unito.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email:","institution_ids":["https://openalex.org/I177477856","https://openalex.org/I55143463"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email: bettini@di.unito.it; capecchi@di.unito.it; dezani@di.unito.it","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053585862","display_name":"Mariangiola Dezani-Ciancaglini","orcid":"https://orcid.org/0000-0002-3341-0941"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]},{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MARIANGIOLA DEZANI-CIANCAGLINI","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email:","Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email: bettini@di.unito.it; capecchi@di.unito.it; dezani@di.unito.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email:","institution_ids":["https://openalex.org/I177477856","https://openalex.org/I55143463"]},{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10131 Torino, Italy Email: bettini@di.unito.it; capecchi@di.unito.it; dezani@di.unito.it","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015764128","display_name":"Elena Giachino","orcid":"https://orcid.org/0000-0001-8884-044X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ELENA GIACHINO","raw_affiliation_strings":["Focus Research Team, Universit\u00e0 di Bologna/INRIA, mura Anteo Zamboni 7, 40127 Bologna, Italy Email:","Focus Research Team, Universit\u00e0 di Bologna/INRIA, mura Anteo Zamboni 7, 40127 Bologna, Italy Email: giachino@cs.unibo.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Focus Research Team, Universit\u00e0 di Bologna/INRIA, mura Anteo Zamboni 7, 40127 Bologna, Italy Email:","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Focus Research Team, Universit\u00e0 di Bologna/INRIA, mura Anteo Zamboni 7, 40127 Bologna, Italy Email: giachino@cs.unibo.it","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006805009","display_name":"Betti Venneri","orcid":"https://orcid.org/0000-0001-6458-0305"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"BETTI VENNERI","raw_affiliation_strings":["Dipartimento di Statistica, Informatica, Applicazioni, Universit\u00e0 di Firenze, viale Morgagni 65, 50134 Firenze, Italy Email:","Dipartimento di Statistica, Informatica, Applicazioni, Universit\u00e0 di Firenze, viale Morgagni 65, 50134 Firenze, Italy Email: betti.venneri@unifi.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni, Universit\u00e0 di Firenze, viale Morgagni 65, 50134 Firenze, Italy Email:","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni, Universit\u00e0 di Firenze, viale Morgagni 65, 50134 Firenze, Italy Email: betti.venneri@unifi.it","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5592,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.79946832,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"23","issue":"6","first_page":"1163","last_page":"1219"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.858260989189148},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.783273458480835},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6015521883964539},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5553200840950012},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.542244553565979},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5273124575614929},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5197810530662537},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.508653461933136},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.49758055806159973},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.43494266271591187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4327786862850189},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.41408461332321167},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.15026646852493286},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14753228425979614},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.10064831376075745}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.858260989189148},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.783273458480835},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6015521883964539},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5553200840950012},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.542244553565979},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5273124575614929},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5197810530662537},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.508653461933136},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.49758055806159973},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.43494266271591187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4327786862850189},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.41408461332321167},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.15026646852493286},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14753228425979614},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.10064831376075745},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s0960129512000886","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000886","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:cris.unibo.it:11585/414007","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/414007","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:flore.unifi.it:2158/778513","is_oa":false,"landing_page_url":"http://hdl.handle.net/2158/778513","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.unito.it:2318/140330","is_oa":true,"landing_page_url":"http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9053926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:iris.unito.it:2318/140330","is_oa":true,"landing_page_url":"http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9053926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"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":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W114044564","https://openalex.org/W163836217","https://openalex.org/W1498393124","https://openalex.org/W1510845095","https://openalex.org/W1516360493","https://openalex.org/W1524870711","https://openalex.org/W1527058108","https://openalex.org/W1555656963","https://openalex.org/W1557561422","https://openalex.org/W1562729841","https://openalex.org/W1573426382","https://openalex.org/W1580139810","https://openalex.org/W1585111997","https://openalex.org/W1599340713","https://openalex.org/W1602067946","https://openalex.org/W1611165480","https://openalex.org/W1648274008","https://openalex.org/W1740406377","https://openalex.org/W1780016311","https://openalex.org/W1784055113","https://openalex.org/W1846674900","https://openalex.org/W1859947016","https://openalex.org/W1863315251","https://openalex.org/W1883854985","https://openalex.org/W1930375285","https://openalex.org/W1941373452","https://openalex.org/W1971235136","https://openalex.org/W1979473344","https://openalex.org/W1988897846","https://openalex.org/W1990218893","https://openalex.org/W1990280150","https://openalex.org/W1990370351","https://openalex.org/W1991069274","https://openalex.org/W1998698985","https://openalex.org/W2015932520","https://openalex.org/W2033348393","https://openalex.org/W2034870916","https://openalex.org/W2040105559","https://openalex.org/W2060842362","https://openalex.org/W2063909201","https://openalex.org/W2088962847","https://openalex.org/W2094607012","https://openalex.org/W2095757617","https://openalex.org/W2104028161","https://openalex.org/W2105716349","https://openalex.org/W2109568634","https://openalex.org/W2113714969","https://openalex.org/W2121663222","https://openalex.org/W2132055297","https://openalex.org/W2135716933","https://openalex.org/W2137186143","https://openalex.org/W2164293299","https://openalex.org/W2167439758","https://openalex.org/W2171043779","https://openalex.org/W2394528535","https://openalex.org/W2735560138","https://openalex.org/W3008328790","https://openalex.org/W3023060607","https://openalex.org/W4235655521","https://openalex.org/W4248304257","https://openalex.org/W6680139002","https://openalex.org/W6711917455"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2104462386","https://openalex.org/W4391150403","https://openalex.org/W2081749821","https://openalex.org/W1968572830","https://openalex.org/W2090814745","https://openalex.org/W2154994723","https://openalex.org/W2029896371","https://openalex.org/W2136497797","https://openalex.org/W2030395623"],"abstract_inverted_index":{"Guaranteeing":[0],"that":[1,93,127,142,166,178],"the":[2,45,55,73,109,122,168,185,201,204],"parties":[3],"of":[4,49,52,57,72,108,121,172,176,200,203],"a":[5,9,13,19,50,77,118,144,153,162],"network":[6,83],"application":[7],"respect":[8],"given":[10,183],"protocol":[11],"is":[12,31,115,159],"crucial":[14],"issue.":[15],"Session":[16],"types":[17,40,171,180],"offer":[18],"method":[20],"for":[21,35,81,126],"abstracting":[22],"and":[23,85,90,134,194],"validating":[24],"structured":[25],"communication":[26,101,154],"sequences":[27],"(sessions).":[28],"Object-oriented":[29],"programming":[30,192],"an":[32,70,188,197],"established":[33],"paradigm":[34],"large":[36],"scale":[37],"applications.":[38],"Union":[39],",":[41],"which":[42],"behave":[43],"as":[44],"least":[46],"common":[47],"supertypes":[48],"set":[51],"classes,":[53],"allow":[54],"implementation":[56],"unrelated":[58],"classes":[59],"with":[60],"similar":[61],"interfaces":[62],"without":[63],"additional":[64],"programming.":[65],"We":[66],"have":[67],"previously":[68],"developed":[69],"integration":[71],"features":[74],"above":[75],"into":[76],"class-based":[78],"core":[79,128],"language":[80,129],"building":[82],"applications,":[84],"this":[86,113,137],"successfully":[87],"amalgamated":[88],"sessions":[89],"methods":[91],"so":[92],"data":[94],"can":[95,190],"be":[96],"exchanged":[97],"flexibly":[98],"according":[99],"to":[100,116,160],"protocols":[102],"(session":[103],"types).":[104],"The":[105,156],"first":[106],"aim":[107,158],"work":[110],"reported":[111],"in":[112],"paper":[114],"provide":[117],"full":[119],"proof":[120],"type":[123,164],"safety":[124],"property":[125],"by":[130,184],"renewing":[131],"syntax,":[132],"typing":[133],"semantics.":[135],"In":[136],"way,":[138],"static":[139],"typechecking":[140],"guarantees":[141],"after":[143],"session":[145,170,173,179],"has":[146],"started,":[147],"computation":[148],"cannot":[149],"get":[150],"stuck":[151],"on":[152],"deadlock.":[155],"second":[157],"define":[161],"constraint-based":[163],"system":[165],"reconstructs":[167],"appropriate":[169],"declarations":[174],"instead":[175],"assuming":[177],"are":[181],"explicitly":[182],"programmer.":[186],"Such":[187],"algorithm":[189],"save":[191],"work,":[193],"automatically":[195],"presents":[196],"abstract":[198],"view":[199],"communications":[202],"sessions.":[205]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2016-06-24T00:00:00"}