{"id":"https://openalex.org/W4396214269","doi":"https://doi.org/10.1145/3649848","title":"Functional Ownership through Fractional Uniqueness","display_name":"Functional Ownership through Fractional Uniqueness","publication_year":2024,"publication_date":"2024-04-29","ids":{"openalex":"https://openalex.org/W4396214269","doi":"https://doi.org/10.1145/3649848"},"language":"en","primary_location":{"id":"doi:10.1145/3649848","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649848","pdf_url":null,"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://doi.org/10.1145/3649848","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019733365","display_name":"Daniel Marshall","orcid":"https://orcid.org/0000-0002-4284-3757"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]},{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Daniel Marshall","raw_affiliation_strings":["University of Kent, Canterbury, United Kingdom","Dominic Orchard, University of Kent, Canterbury, United Kingdom and","University of Cambridge, Cambridge, United Kingdom,","University of Cambridge, United Kingdom","University of Kent, Canterbury, United Kingdom,","University of Kent, United Kingdom","University of Kent, United Kingdom and"],"raw_orcid":"https://orcid.org/0000-0002-4284-3757","affiliations":[{"raw_affiliation_string":"University of Kent, Canterbury, United Kingdom","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"Dominic Orchard, University of Kent, Canterbury, United Kingdom and","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom,","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Kent, Canterbury, United Kingdom,","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent, United Kingdom","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent, United Kingdom and","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064585229","display_name":"Dominic Orchard","orcid":"https://orcid.org/0000-0002-7058-7842"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]},{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Dominic Orchard","raw_affiliation_strings":["University of Kent, Canterbury, United Kingdom / University of Cambridge, Cambridge, United Kingdom","University of Cambridge, Cambridge, United Kingdom,","University of Cambridge, United Kingdom","University of Kent, Canterbury, United Kingdom,","University of Kent, United Kingdom","University of Kent, United Kingdom and"],"raw_orcid":"https://orcid.org/0000-0002-7058-7842","affiliations":[{"raw_affiliation_string":"University of Kent, Canterbury, United Kingdom / University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I20581793","https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom,","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Kent, Canterbury, United Kingdom,","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent, United Kingdom","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent, United Kingdom and","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064585229"],"corresponding_institution_ids":["https://openalex.org/I20581793","https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":1.2367,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80368792,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"8","issue":"OOPSLA1","first_page":"1040","last_page":"1070"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9537000060081482,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9537000060081482,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9355000257492065,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9337999820709229,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.8109128475189209},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.4057931900024414},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36147481203079224},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.20133695006370544}],"concepts":[{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.8109128475189209},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.4057931900024414},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36147481203079224},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.20133695006370544}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3649848","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649848","pdf_url":null,"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:kar.kent.ac.uk:105880","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649848>)","pdf_url":"https://kar.kent.ac.uk/105880/1/D.%20Orchard%20-%20Functional%20ownership%20through%20fractional%20uniqueness%20-%20PPDF.pdf","source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3649848","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649848","pdf_url":null,"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/G363745060","display_name":null,"funder_award_id":"EP/T013516/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6928604103","display_name":"Verifying Resource-like Data Use in Programs via Types","funder_award_id":"EP/T013516/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8214229692","display_name":null,"funder_award_id":"EP/T014628/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"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W15833160","https://openalex.org/W53839316","https://openalex.org/W111511002","https://openalex.org/W128743919","https://openalex.org/W1483872283","https://openalex.org/W1491698270","https://openalex.org/W1529441891","https://openalex.org/W1563480347","https://openalex.org/W1811793995","https://openalex.org/W1971256104","https://openalex.org/W1971591193","https://openalex.org/W1982243747","https://openalex.org/W2017381819","https://openalex.org/W2033540531","https://openalex.org/W2046137117","https://openalex.org/W2061341742","https://openalex.org/W2070111977","https://openalex.org/W2073407646","https://openalex.org/W2121408440","https://openalex.org/W2123683215","https://openalex.org/W2135868037","https://openalex.org/W2137282578","https://openalex.org/W2155397441","https://openalex.org/W2188606489","https://openalex.org/W2476818328","https://openalex.org/W2484189767","https://openalex.org/W2515656721","https://openalex.org/W2766220735","https://openalex.org/W2779850521","https://openalex.org/W2799182172","https://openalex.org/W2911865844","https://openalex.org/W2912106379","https://openalex.org/W2914651966","https://openalex.org/W2950251922","https://openalex.org/W2965377859","https://openalex.org/W2996725384","https://openalex.org/W3033622545","https://openalex.org/W3047163819","https://openalex.org/W3047233922","https://openalex.org/W3110513392","https://openalex.org/W3117925125","https://openalex.org/W3140772287","https://openalex.org/W3152550240","https://openalex.org/W3174107386","https://openalex.org/W3184092516","https://openalex.org/W3205248599","https://openalex.org/W3210291382","https://openalex.org/W4200435203","https://openalex.org/W4221105935","https://openalex.org/W4226031883","https://openalex.org/W4226204098","https://openalex.org/W4234055316","https://openalex.org/W4245729501","https://openalex.org/W4288014869","https://openalex.org/W4289782831","https://openalex.org/W4307731791","https://openalex.org/W4321177615","https://openalex.org/W4384918567","https://openalex.org/W4386317020","https://openalex.org/W4386317139","https://openalex.org/W4387667218","https://openalex.org/W4390605114","https://openalex.org/W6758589049","https://openalex.org/W6911250010","https://openalex.org/W6930158956"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W571281153","https://openalex.org/W2949403936","https://openalex.org/W4301247218","https://openalex.org/W3023806604","https://openalex.org/W2952139525","https://openalex.org/W2129818458","https://openalex.org/W4289551052","https://openalex.org/W4390756076","https://openalex.org/W4243074410"],"abstract_inverted_index":{"Ownership":[0],"and":[1,58,71,104,119,157,175,191,212,240,252,255],"borrowing":[2,105,241],"systems,":[3],"designed":[4,96],"to":[5,19,30,74,97,113,185,233],"enforce":[6],"safe":[7],"memory":[8,135,194],"management":[9],"without":[10],"the":[11,20,23,39,46,53,86,108,235],"need":[12],"for":[13,102,110,133],"garbage":[14],"collection,":[15],"have":[16],"been":[17],"brought":[18],"fore":[21],"by":[22,35],"Rust":[24,27,76,118],"programming":[25,37],"language.":[26],"also":[28],"aims":[29],"bring":[31],"some":[32],"guarantees":[33,192],"offered":[34],"functional":[36,111,138],"into":[38,89,245],"realm":[40],"of":[41,210,225,238],"performant":[42],"systems":[43,207],"code,":[44],"but":[45,79,144],"type":[47,57,92,206,248],"system":[48,184,249],"is":[49,81,140],"largely":[50],"separate":[51,63],"from":[52],"ownership":[54,103,121,218,239],"model,":[55],"with":[56,231,259],"borrow":[59,114],"checking":[60],"happening":[61],"in":[62,77,117,136,181],"compilation":[64],"phases.":[65],"Recent":[66,170],"models":[67],"such":[68],"as":[69,204,221],"RustBelt":[70],"Oxide":[72],"aim":[73],"formalise":[75],"depth,":[78],"there":[80],"less":[82],"focus":[83],"on":[84,188],"integrating":[85],"basic":[87],"ideas":[88],"more":[90,125],"traditional":[91],"systems.":[93],"An":[94],"approach":[95],"expose":[98],"an":[99],"essential":[100],"core":[101],"would":[106],"open":[107],"door":[109],"languages":[112],"concepts":[115],"found":[116],"other":[120,166],"frameworks,":[122],"so":[123],"that":[124,173,202,242],"programmers":[126],"can":[127,158,178],"enjoy":[128],"their":[129],"benefits.":[130],"One":[131],"strategy":[132],"managing":[134],"a":[137,147,151,182,216,222,246],"setting":[139],"through":[141],"uniqueness":[142,176],"types,":[143,254],"these":[145,260],"offer":[146,186],"coarse-grained":[148],"view:":[149],"either":[150],"value":[152],"has":[153],"exactly":[154],"one":[155],"reference,":[156],"be":[159,179],"mutated":[160],"safely,":[161],"or":[162],"it":[163],"cannot,":[164],"since":[165],"references":[167],"may":[168],"exist.":[169],"work":[171],"demonstrates":[172],"linear":[174],"types":[177],"combined":[180],"single":[183],"restrictions":[187],"program":[189],"behaviour":[190],"about":[193],"usage.":[195],"We":[196,227],"develop":[197],"this":[198],"connection":[199],"further,":[200],"showing":[201],"just":[203],"graded":[205,223,253],"like":[208],"those":[209],"Granule":[211,257],"Idris":[213],"generalise":[214],"linearity,":[215],"Rust-like":[217],"model":[219],"arises":[220],"generalisation":[224],"uniqueness.":[226],"combine":[228],"fractional":[229],"permissions":[230],"grading":[232],"give":[234],"first":[236],"account":[237],"smoothly":[243],"integrates":[244],"standard":[247],"alongside":[250],"linearity":[251],"extend":[256],"accordingly":[258],"ideas.":[261]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}