{"id":"https://openalex.org/W3205248599","doi":"https://doi.org/10.1145/3485516","title":"Reachability types: tracking aliasing and separation in higher-order functional programs","display_name":"Reachability types: tracking aliasing and separation in higher-order functional programs","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3205248599","doi":"https://doi.org/10.1145/3485516","mag":"3205248599"},"language":"en","primary_location":{"id":"doi:10.1145/3485516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485516","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485516","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/3485516","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056854451","display_name":"Yuyan Bao","orcid":"https://orcid.org/0000-0002-3832-3134"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yuyan Bao","raw_affiliation_strings":["University of Waterloo, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054308182","display_name":"Guannan Wei","orcid":"https://orcid.org/0000-0002-3150-2033"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guannan Wei","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019063975","display_name":"Oliver Bra\u010devac","orcid":"https://orcid.org/0000-0003-3569-4869"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oliver Bra\u010devac","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006561266","display_name":"Yuxuan Jiang","orcid":"https://orcid.org/0000-0002-2279-6199"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuxuan Jiang","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084876385","display_name":"Qiyang He","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qiyang He","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003153354","display_name":"Tiark Rompf","orcid":"https://orcid.org/0000-0002-2068-3238"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tiark Rompf","raw_affiliation_strings":["Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1195,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.82640616,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"32"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9980000257492065,"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.9955000281333923,"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/reachability","display_name":"Reachability","score":0.8305859565734863},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7655425071716309},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5889558792114258},{"id":"https://openalex.org/keywords/aliasing","display_name":"Aliasing","score":0.5796616077423096},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48333999514579773},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4635419547557831},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.45856204628944397},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.43088412284851074},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.42442458868026733},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23456841707229614}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8305859565734863},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7655425071716309},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5889558792114258},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.5796616077423096},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48333999514579773},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4635419547557831},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.45856204628944397},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.43088412284851074},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.42442458868026733},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23456841707229614},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3485516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485516","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485516","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"}],"best_oa_location":{"id":"doi:10.1145/3485516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485516","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485516","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":[],"awards":[{"id":"https://openalex.org/G1083356329","display_name":null,"funder_award_id":"1564207","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3747613611","display_name":null,"funder_award_id":"1553471","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G687803628","display_name":null,"funder_award_id":"CRDPJ 543583-19","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G7364598548","display_name":null,"funder_award_id":"DE-SC0018050","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G787217599","display_name":"FMitF: Track I: Symbolic Reasoning with Graph Networks","funder_award_id":"1918483","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3205248599.pdf","grobid_xml":"https://content.openalex.org/works/W3205248599.grobid-xml"},"referenced_works_count":126,"referenced_works":["https://openalex.org/W1491698270","https://openalex.org/W1495368328","https://openalex.org/W1508664008","https://openalex.org/W1510845095","https://openalex.org/W1517943150","https://openalex.org/W1595372275","https://openalex.org/W1599796583","https://openalex.org/W1606211906","https://openalex.org/W1781333026","https://openalex.org/W1815928176","https://openalex.org/W1830421783","https://openalex.org/W1861989620","https://openalex.org/W1871201330","https://openalex.org/W1964976097","https://openalex.org/W1967751668","https://openalex.org/W1971752790","https://openalex.org/W1980939032","https://openalex.org/W1981962444","https://openalex.org/W1986057687","https://openalex.org/W1998070736","https://openalex.org/W1998344822","https://openalex.org/W1999489309","https://openalex.org/W2007759294","https://openalex.org/W2008070495","https://openalex.org/W2011648260","https://openalex.org/W2013892605","https://openalex.org/W2033675214","https://openalex.org/W2042694844","https://openalex.org/W2046137117","https://openalex.org/W2048921878","https://openalex.org/W2049984112","https://openalex.org/W2052087935","https://openalex.org/W2068984860","https://openalex.org/W2070111977","https://openalex.org/W2073407646","https://openalex.org/W2077987280","https://openalex.org/W2080573945","https://openalex.org/W2083697466","https://openalex.org/W2086512828","https://openalex.org/W2087875803","https://openalex.org/W2098895495","https://openalex.org/W2121408440","https://openalex.org/W2123828773","https://openalex.org/W2128769069","https://openalex.org/W2133051483","https://openalex.org/W2136618368","https://openalex.org/W2136839747","https://openalex.org/W2137628566","https://openalex.org/W2147578933","https://openalex.org/W2155656276","https://openalex.org/W2156428492","https://openalex.org/W2157896371","https://openalex.org/W2159390636","https://openalex.org/W2163059606","https://openalex.org/W2163365446","https://openalex.org/W2163465405","https://openalex.org/W2165657834","https://openalex.org/W2169907127","https://openalex.org/W2171733626","https://openalex.org/W2211325406","https://openalex.org/W2251459796","https://openalex.org/W2285827435","https://openalex.org/W2289066165","https://openalex.org/W2293168108","https://openalex.org/W2345944815","https://openalex.org/W2536396847","https://openalex.org/W2537677062","https://openalex.org/W2538456393","https://openalex.org/W2560908054","https://openalex.org/W2561708922","https://openalex.org/W2596377803","https://openalex.org/W2744389017","https://openalex.org/W2766220735","https://openalex.org/W2779850521","https://openalex.org/W2784113120","https://openalex.org/W2885689644","https://openalex.org/W2896434942","https://openalex.org/W2899650865","https://openalex.org/W2900081643","https://openalex.org/W2901454403","https://openalex.org/W2912106379","https://openalex.org/W2952100912","https://openalex.org/W2964794147","https://openalex.org/W2995698344","https://openalex.org/W3005952541","https://openalex.org/W3006963970","https://openalex.org/W3008353026","https://openalex.org/W3008818728","https://openalex.org/W3010821527","https://openalex.org/W3010987607","https://openalex.org/W3012366501","https://openalex.org/W3014236027","https://openalex.org/W3017193247","https://openalex.org/W3018145043","https://openalex.org/W3027056679","https://openalex.org/W3028779248","https://openalex.org/W3033281991","https://openalex.org/W3033992392","https://openalex.org/W3035622664","https://openalex.org/W3039827481","https://openalex.org/W3047334575","https://openalex.org/W3047512562","https://openalex.org/W3103744781","https://openalex.org/W3107145433","https://openalex.org/W3107368437","https://openalex.org/W3107473230","https://openalex.org/W3109967630","https://openalex.org/W3116581745","https://openalex.org/W3121479906","https://openalex.org/W3139187675","https://openalex.org/W3145844969","https://openalex.org/W3149432941","https://openalex.org/W3155971776","https://openalex.org/W3167737351","https://openalex.org/W3170236839","https://openalex.org/W4214630400","https://openalex.org/W4232498739","https://openalex.org/W4234055316","https://openalex.org/W4234890740","https://openalex.org/W4241006348","https://openalex.org/W4241045451","https://openalex.org/W4242142379","https://openalex.org/W4243994983","https://openalex.org/W4247699568","https://openalex.org/W4250213069","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4253760428","https://openalex.org/W2099490078","https://openalex.org/W3017277461","https://openalex.org/W3208672221","https://openalex.org/W4287199681","https://openalex.org/W2060144422","https://openalex.org/W1548979236","https://openalex.org/W166394786","https://openalex.org/W3172202899","https://openalex.org/W3157357863"],"abstract_inverted_index":{"Ownership":[0],"type":[1,58,98],"systems,":[2],"based":[3],"on":[4,16,87,92],"the":[5,29,97],"idea":[6],"of":[7,32,89,109],"enforcing":[8,85],"unique":[9],"access":[10],"paths,":[11],"have":[12],"been":[13],"primarily":[14],"focused":[15],"objects":[17],"and":[18,74,79,112,122,133],"top-level":[19],"classes.":[20],"However,":[21],"existing":[22],"models":[23],"do":[24],"not":[25],"as":[26],"readily":[27],"reflect":[28],"finer":[30],"aspects":[31],"nested":[33],"lexical":[34],"scopes,":[35],"capturing,":[36],"or":[37],"escaping":[38],"closures":[39],"in":[40,50],"higher-order":[41,69],"functional":[42],"programming":[43],"patterns,":[44],"which":[45,63,106],"are":[46],"increasingly":[47],"adopted":[48],"even":[49],"mainstream":[51],"object-oriented":[52],"languages.":[53],"We":[54],"present":[55,118],"a":[56],"new":[57],"system,":[59,105],"\u03bb":[60],"*":[61],",":[62],"enables":[64,107],"expressive":[65,102],"ownership-style":[66],"reasoning":[67],"across":[68],"functions.":[70],"It":[71],"tracks":[72],"sharing":[73],"separation":[75],"through":[76],"reachability":[77,93],"sets,":[78,94],"layers":[80],"additional":[81],"mechanisms":[82],"for":[83,128],"selectively":[84],"uniqueness":[86],"top":[88],"it.":[90],"Based":[91],"we":[95,117],"extend":[96],"system":[99],"with":[100],"an":[101],"flow-sensitive":[103],"effect":[104],"flavors":[108],"move":[110],"semantics":[111],"ownership":[113],"transfer.":[114],"In":[115],"addition,":[116],"several":[119],"case":[120],"studies":[121],"extensions,":[123],"including":[124],"applications":[125],"to":[126],"capabilities":[127],"algebraic":[129],"effects,":[130],"one-shot":[131],"continuations,":[132],"safe":[134],"parallelization.":[135]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}