{"id":"https://openalex.org/W2950679151","doi":"https://doi.org/10.1017/s0956796819000169","title":"Gradual session types","display_name":"Gradual session types","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2950679151","doi":"https://doi.org/10.1017/s0956796819000169","mag":"2950679151"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796819000169","doi":"https://doi.org/10.1017/s0956796819000169","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796819000169","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C6A5BBBD228A2C1B3E4A652E57B7CF89/S0956796819000169a.pdf/div-class-title-gradual-session-types-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-b","jufo-2","norway-1","poland-70","russia-white-list-3"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C6A5BBBD228A2C1B3E4A652E57B7CF89/S0956796819000169a.pdf/div-class-title-gradual-session-types-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077485499","display_name":"Atsushi Igarashi","orcid":"https://orcid.org/0000-0002-5143-9764","observed_orcids":["https://orcid.org/0000-0002-5143-9764"]},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]},{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["DE","GB","JP","PT"],"is_corresponding":true,"raw_author_name":"ATSUSHI IGARASHI","raw_affiliation_strings":["Kyoto University, Japan (e-mail:","Faculty of Sciences, University of Lisbon, Portugal","Kyoto University, Japan","PETER THIEMANN University of Freiburg, Germany","PHILIP WADLER University of Edinburgh, Scotland","YUYA TSUDA Kyoto University, Japan"],"raw_orcid":"https://orcid.org/0000-0002-5143-9764","affiliations":[{"raw_affiliation_string":"Kyoto University, Japan (e-mail:","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Faculty of Sciences, University of Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"Kyoto University, Japan","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"PETER THIEMANN University of Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"PHILIP WADLER University of Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"YUYA TSUDA Kyoto University, Japan","institution_ids":["https://openalex.org/I22299242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000384936","display_name":"Peter J. Thiemann","orcid":"https://orcid.org/0000-0002-9000-1239","observed_orcids":["https://orcid.org/0000-0002-9000-1239"]},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"PETER THIEMANN","raw_affiliation_strings":["University of Freiburg, Germany (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-9000-1239","affiliations":[{"raw_affiliation_string":"University of Freiburg, Germany (e-mail:","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080682859","display_name":"Yuya Tsuda","orcid":"https://orcid.org/0000-0002-7420-2575","observed_orcids":["https://orcid.org/0000-0002-7420-2575"]},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"YUYA TSUDA","raw_affiliation_strings":["Kyoto University, Japan (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-7420-2575","affiliations":[{"raw_affiliation_string":"Kyoto University, Japan (e-mail:","institution_ids":["https://openalex.org/I22299242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016342119","display_name":"VASCO THUDICHUM VASCONCELOS","orcid":"https://orcid.org/0000-0002-9539-8861","observed_orcids":["https://orcid.org/0000-0002-9539-8861"]},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4405257439","display_name":"Laborat\u00f3rio de Sistemas Inform\u00e1ticos de Grande Escala","ror":"https://ror.org/0597csq05","country_code":"PT","type":"facility","lineage":["https://openalex.org/I4405257439"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"VASCO T. VASCONCELOS","raw_affiliation_strings":["LASIGE, Department of Informatics, Faculty of Sciences, University of Lisbon, Portugal (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LASIGE, Department of Informatics, Faculty of Sciences, University of Lisbon, Portugal (e-mail:","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4405257439"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018878077","display_name":"Philip L. Wadler","orcid":"https://orcid.org/0000-0001-7619-6378","observed_orcids":["https://orcid.org/0000-0001-7619-6378"]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"PHILIP WADLER","raw_affiliation_strings":["University of Edinburgh, Scotland (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Scotland (e-mail:","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5077485499"],"corresponding_institution_ids":["https://openalex.org/I141596103","https://openalex.org/I161046081","https://openalex.org/I22299242","https://openalex.org/I98677209"],"apc_list":{"value":2980,"currency":"USD","value_usd":2980},"apc_paid":{"value":2980,"currency":"USD","value_usd":2980},"fwci":0.4554,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.68174207,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":"29","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.9994999766349792,"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.9994999766349792,"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.0,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/gradual-typing","display_name":"gradual typing","score":0.6679999828338623},{"id":"https://openalex.org/keywords/session-types","display_name":"session types","score":0.9959999918937683},{"id":"https://openalex.org/keywords/linear-types","display_name":"linear types","score":0.6629999876022339},{"id":"https://openalex.org/keywords/dynamic-typing","display_name":"dynamic typing","score":0.6899999976158142},{"id":"https://openalex.org/keywords/communication-safety","display_name":"communication safety","score":0.8830000162124634},{"id":"https://openalex.org/keywords/type-safety","display_name":"type safety","score":0.6800000071525574},{"id":"https://openalex.org/keywords/microservices","display_name":"microservices","score":0.7509999871253967},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.5580000281333923}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8863315582275391},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7677874565124512},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.5910964012145996},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5325635671615601},{"id":"https://openalex.org/C2778505942","wikidata":"https://www.wikidata.org/wiki/Q18344624","display_name":"Microservices","level":3,"score":0.5014934539794922},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.49772360920906067},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46028202772140503},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4549817442893982},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4205928444862366},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4123385548591614},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1968303918838501},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.18329831957817078},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s0956796819000169","doi":"https://doi.org/10.1017/s0956796819000169","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796819000169","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C6A5BBBD228A2C1B3E4A652E57B7CF89/S0956796819000169a.pdf/div-class-title-gradual-session-types-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-b","jufo-2","norway-1","poland-70","russia-white-list-3"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1809.05649","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1809.05649","pdf_url":"https://arxiv.org/pdf/1809.05649","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/4e1f69e5-fe29-4d35-8d9d-a41df2cd7e12","doi":null,"is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/4e1f69e5-fe29-4d35-8d9d-a41df2cd7e12","pdf_url":"https://www.research.ed.ac.uk/files/122304568/Gradual_session_types_IGARASHI_DOA25112019_VOR_CC_BY.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Igarashi, A, Thiemann, P, Tsuda, Y, Vasconcelos, V T & Wadler, P 2019, 'Gradual session types', Journal of Functional Programming, vol. 29, e17. https://doi.org/10.1017/S0956796819000169","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1809.05649","doi":"https://doi.org/10.48550/arxiv.1809.05649","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1809.05649","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,"listed_in":[],"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":"article-journal"}],"best_oa_location":{"id":"doi:10.1017/s0956796819000169","doi":"https://doi.org/10.1017/s0956796819000169","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796819000169","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C6A5BBBD228A2C1B3E4A652E57B7CF89/S0956796819000169a.pdf/div-class-title-gradual-session-types-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-b","jufo-2","norway-1","poland-70","russia-white-list-3"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1798638720","display_name":"From Data Types to Session Types---A Basis for Concurrency and Distribution","funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4913890762","display_name":"Theory of Gradual Typing for Modern Programming Languages","funder_award_id":"17H01723","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5833547135","display_name":"Communication Contracts for Distributed Systems Development","funder_award_id":"PTDC/EEI-CTP/4503/2014","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5935811819","display_name":"LABORAT\u00d3RIO DE SISTEMAS INFORM\u00c1TICOS DE GRANDE-ESCALA","funder_award_id":"UID/CEC/00408/2019","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7918631928","display_name":null,"funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2950679151.pdf","grobid_xml":"https://content.openalex.org/works/W2950679151.grobid-xml"},"referenced_works_count":129,"referenced_works":["https://openalex.org/W54273311","https://openalex.org/W59370666","https://openalex.org/W64156013","https://openalex.org/W86241532","https://openalex.org/W158940444","https://openalex.org/W162884833","https://openalex.org/W776882319","https://openalex.org/W1421419986","https://openalex.org/W1432573364","https://openalex.org/W1458664253","https://openalex.org/W1502282368","https://openalex.org/W1537467263","https://openalex.org/W1538858001","https://openalex.org/W1550526517","https://openalex.org/W1553136405","https://openalex.org/W1555656963","https://openalex.org/W1557561422","https://openalex.org/W1568983194","https://openalex.org/W1581253965","https://openalex.org/W1607623316","https://openalex.org/W1663174014","https://openalex.org/W1780016311","https://openalex.org/W1784055113","https://openalex.org/W1934896223","https://openalex.org/W1941373452","https://openalex.org/W1973186567","https://openalex.org/W1982209843","https://openalex.org/W1991621238","https://openalex.org/W1992310464","https://openalex.org/W1993460177","https://openalex.org/W2005274596","https://openalex.org/W2007435074","https://openalex.org/W2025260761","https://openalex.org/W2027189949","https://openalex.org/W2034870916","https://openalex.org/W2040105559","https://openalex.org/W2042360145","https://openalex.org/W2045949477","https://openalex.org/W2051748913","https://openalex.org/W2054670810","https://openalex.org/W2080718905","https://openalex.org/W2088962847","https://openalex.org/W2123691799","https://openalex.org/W2124126159","https://openalex.org/W2128303158","https://openalex.org/W2128932399","https://openalex.org/W2136327713","https://openalex.org/W2137186143","https://openalex.org/W2138552902","https://openalex.org/W2141210774","https://openalex.org/W2141928434","https://openalex.org/W2145108549","https://openalex.org/W2150998213","https://openalex.org/W2153557668","https://openalex.org/W2154273644","https://openalex.org/W2162077931","https://openalex.org/W2171043779","https://openalex.org/W2184230987","https://openalex.org/W2219871211","https://openalex.org/W2264604278","https://openalex.org/W2284690928","https://openalex.org/W2295283668","https://openalex.org/W2295577580","https://openalex.org/W2296352734","https://openalex.org/W2296599395","https://openalex.org/W2325347394","https://openalex.org/W2394849297","https://openalex.org/W2402424078","https://openalex.org/W2473452789","https://openalex.org/W2482080645","https://openalex.org/W2503601755","https://openalex.org/W2514073179","https://openalex.org/W2517371102","https://openalex.org/W2517846761","https://openalex.org/W2518106139","https://openalex.org/W2522116950","https://openalex.org/W2538224465","https://openalex.org/W2555837147","https://openalex.org/W2556346428","https://openalex.org/W2561537655","https://openalex.org/W2561708922","https://openalex.org/W2561856298","https://openalex.org/W2566129984","https://openalex.org/W2573182298","https://openalex.org/W2584381671","https://openalex.org/W2604845086","https://openalex.org/W2606661747","https://openalex.org/W2705915567","https://openalex.org/W2728359856","https://openalex.org/W2736821074","https://openalex.org/W2740956688","https://openalex.org/W2751966562","https://openalex.org/W2753328850","https://openalex.org/W2780724869","https://openalex.org/W2796564118","https://openalex.org/W2797310167","https://openalex.org/W2829799950","https://openalex.org/W2856615635","https://openalex.org/W2900351133","https://openalex.org/W2904756193","https://openalex.org/W2911692446","https://openalex.org/W2911865844","https://openalex.org/W2916072107","https://openalex.org/W2949526574","https://openalex.org/W2962736185","https://openalex.org/W2962786128","https://openalex.org/W2995356440","https://openalex.org/W3000266772","https://openalex.org/W3003597000","https://openalex.org/W3014933227","https://openalex.org/W3021289211","https://openalex.org/W3137596000","https://openalex.org/W3155673021","https://openalex.org/W3163012639","https://openalex.org/W4211073229","https://openalex.org/W4233294560","https://openalex.org/W4233387250","https://openalex.org/W4233840857","https://openalex.org/W4235655521","https://openalex.org/W4239032706","https://openalex.org/W4242767025","https://openalex.org/W4243329224","https://openalex.org/W4246574300","https://openalex.org/W4246840308","https://openalex.org/W4248497488","https://openalex.org/W4252547602","https://openalex.org/W4253164464","https://openalex.org/W4253591485","https://openalex.org/W4254551474"],"related_works":["https://openalex.org/W2245685274","https://openalex.org/W3042312155","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2610513781","https://openalex.org/W2112801462","https://openalex.org/W2910115471","https://openalex.org/W2503735611","https://openalex.org/W2089740622","https://openalex.org/W2698428943"],"abstract_inverted_index":{"Abstract":[0],"Session":[1],"types":[2,52,166],"are":[3,31],"a":[4,35,43,59,83,95,130,168],"rich":[5],"type":[6,22,40,91,111,141],"discipline,":[7],"based":[8],"on":[9],"linear":[10],"types,":[11],"that":[12,19],"lifts":[13],"the":[14,88,110,134,137,173,176],"sort":[15],"of":[16,37,69,75,87,98,104,113,162,175],"safety":[17,144],"claims":[18],"come":[20],"with":[21,39,121,157],"systems":[23],"to":[24,136,154,171],"communications.":[25],"However,":[26],"web-based":[27],"applications":[28],"and":[29,47,71,129,142,164],"microservices":[30],"often":[32],"written":[33],"in":[34,42],"mix":[36],"languages,":[38],"disciplines":[41],"spectrum":[44],"between":[45,65],"static":[46],"dynamic":[48,76,116,165],"typing.":[49,77],"Gradual":[50,80,101],"session":[51,90],"address":[53],"this":[54],"mixed":[55],"setting":[56],"by":[57],"providing":[58],"framework":[60,97],"which":[61,108,124],"grants":[62],"seamless":[63],"transition":[64],"statically":[66],"typed":[67,85],"handling":[68],"sessions":[70],"any":[72],"required":[73],"degree":[74],"We":[78,139],"propose":[79],"GV":[81,102,114],"as":[82,145,147],"gradually":[84],"extension":[86],"functional":[89,155],"system":[92,112],"GV.":[93],"Following":[94],"standard":[96],"gradual":[99],"typing,":[100],"consists":[103],"an":[105,118],"external":[106],"language,":[107],"relaxes":[109],"using":[115],"types;":[117],"internal":[119],"language":[120],"casts,":[122],"for":[123],"operational":[125],"semantics":[126],"is":[127],"given;":[128],"cast-insertion":[131],"translation":[132],"from":[133],"former":[135],"latter.":[138],"demonstrate":[140],"communication":[143],"well":[146],"blame":[148],"safety,":[149],"thus":[150],"extending":[151],"previous":[152],"results":[153],"languages":[156],"session-based":[158],"communication.":[159],"The":[160],"interplay":[161],"linearity":[163],"requires":[167],"novel":[169],"approach":[170],"specifying":[172],"dynamics":[174],"language.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2020-11-23T00:00:00"}