{"id":"https://openalex.org/W3205622731","doi":"https://doi.org/10.1145/3479394.3479398","title":"A Decade of Dependent Session Types","display_name":"A Decade of Dependent Session Types","publication_year":2021,"publication_date":"2021-09-06","ids":{"openalex":"https://openalex.org/W3205622731","doi":"https://doi.org/10.1145/3479394.3479398","mag":"3205622731"},"language":"en","primary_location":{"id":"doi:10.1145/3479394.3479398","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3479394.3479398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"23rd International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039596448","display_name":"Bernardo Toninho","orcid":"https://orcid.org/0000-0002-0746-7514"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Bernardo Toninho","raw_affiliation_strings":["NOVA School of Science and Technology and NOVA-LINCS, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NOVA School of Science and Technology and NOVA-LINCS, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019928703","display_name":"Lu\u0131\u0301s Caires","orcid":"https://orcid.org/0000-0002-3215-6734"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Lu\u00eds Caires","raw_affiliation_strings":["NOVA School of Science and Technology and NOVA-LINCS, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NOVA School of Science and Technology and NOVA-LINCS, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021476649","display_name":"Frank Pfenning","orcid":"https://orcid.org/0000-0002-8279-5817"},"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":"Frank Pfenning","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8792,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.77271002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"3"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983000159263611,"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/nova","display_name":"Nova (rocket)","score":0.9054083824157715},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.7423547506332397},{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.6861599683761597},{"id":"https://openalex.org/keywords/nova-scotia","display_name":"Nova scotia","score":0.6094683408737183},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.5383182168006897},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36557525396347046},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.2645781934261322},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.25832599401474},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21078506112098694},{"id":"https://openalex.org/keywords/ethnology","display_name":"Ethnology","score":0.10785388946533203},{"id":"https://openalex.org/keywords/aeronautics","display_name":"Aeronautics","score":0.10534501075744629}],"concepts":[{"id":"https://openalex.org/C199364081","wikidata":"https://www.wikidata.org/wiki/Q183158","display_name":"Nova (rocket)","level":2,"score":0.9054083824157715},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7423547506332397},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.6861599683761597},{"id":"https://openalex.org/C2988919728","wikidata":"https://www.wikidata.org/wiki/Q1952","display_name":"Nova scotia","level":2,"score":0.6094683408737183},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5383182168006897},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36557525396347046},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.2645781934261322},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.25832599401474},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21078506112098694},{"id":"https://openalex.org/C2549261","wikidata":"https://www.wikidata.org/wiki/Q43455","display_name":"Ethnology","level":1,"score":0.10785388946533203},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.10534501075744629}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3479394.3479398","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3479394.3479398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"23rd International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W183006709","https://openalex.org/W1607623316","https://openalex.org/W1611165480","https://openalex.org/W1886109164","https://openalex.org/W2015163350","https://openalex.org/W2025260761","https://openalex.org/W2082415475","https://openalex.org/W2153557668","https://openalex.org/W2325347394","https://openalex.org/W2340622488","https://openalex.org/W2460202555","https://openalex.org/W2517371102","https://openalex.org/W2753352514","https://openalex.org/W2787969571","https://openalex.org/W2797550608","https://openalex.org/W2912682974","https://openalex.org/W2933941175","https://openalex.org/W2987467276","https://openalex.org/W2995705594","https://openalex.org/W3081625510","https://openalex.org/W3087856390","https://openalex.org/W3107309644","https://openalex.org/W3162779894"],"related_works":["https://openalex.org/W989880660","https://openalex.org/W2409009811","https://openalex.org/W3204963302","https://openalex.org/W2236925517","https://openalex.org/W2280392699","https://openalex.org/W2280718506","https://openalex.org/W3033202801","https://openalex.org/W4312452017","https://openalex.org/W4230514841","https://openalex.org/W2414667327"],"abstract_inverted_index":{"invited-talk":[0],"Share":[1],"on":[2,74,130],"A":[3],"Decade":[4],"of":[5,14,23,36,45,78],"Dependent":[6],"Session":[7],"Types":[8],"Authors:":[9],"Bernardo":[10],"Toninho":[11],"NOVA":[12,21,34,43],"School":[13,22,35,44],"Science":[15,24,37,46],"and":[16,18,25,27,38,40,47,49,76,107],"Technology":[17,26,39,48],"NOVA-LINCS,":[19,28,41,50],"Portugal":[20,42],"PortugalView":[29,51],"Profile":[30,52,64],",":[31,53],"Lu\u00eds":[32],"Caires":[33],"Frank":[54],"Pfenning":[55],"Carnegie":[56,60],"Mellon":[57,61],"University,":[58,62],"USA":[59],"USAView":[63],"Authors":[65],"Info":[66],"&":[67],"Claims":[68],"PPDP":[69],"2021:":[70],"23rd":[71],"International":[72],"Symposium":[73],"Principles":[75],"Practice":[77],"Declarative":[79],"ProgrammingSeptember":[80],"2021":[81],"Article":[82],"No.:":[83],"3Pages":[84],"1\u20133https://doi.org/10.1145/3479394.3479398Online:07":[85],"October":[86],"2021Publication":[87],"History":[88],"0citation24DownloadsMetricsTotal":[89],"Citations0Total":[90],"Downloads24Last":[91],"12":[92],"Months24Last":[93],"6":[94],"weeks8":[95],"Get":[96],"Citation":[97,99,136],"AlertsNew":[98,135],"Alert":[100],"added!This":[101],"alert":[102,127],"has":[103,122],"been":[104,123],"successfully":[105],"added":[106],"will":[108,112],"be":[109,113],"sent":[110],"to:You":[111],"notified":[114],"whenever":[115],"a":[116,148],"record":[117],"that":[118],"you":[119],"have":[120],"chosen":[121],"cited.To":[124],"manage":[125],"your":[126,141],"preferences,":[128],"click":[129],"the":[131],"button":[132],"below.Manage":[133],"my":[134],"Alert!Please":[137],"log":[138],"in":[139],"to":[140,144,146],"account":[142],"Save":[143],"BinderSave":[145],"BinderCreate":[147],"New":[149],"BinderNameCancelCreateExport":[150],"CitationPublisher":[151],"SiteGet":[152],"Access":[153]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}