{"id":"https://openalex.org/W7077516413","doi":"https://doi.org/10.5281/zenodo.16910888","title":"Artifact for the Paper \"Borrowing From Session Types\"","display_name":"Artifact for the Paper \"Borrowing From Session Types\"","publication_year":2025,"publication_date":"2025-08-20","ids":{"openalex":"https://openalex.org/W7077516413","doi":"https://doi.org/10.5281/zenodo.16910888"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:16910888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16910888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":null,"raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.16910888","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Saffrich, Hannes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Saffrich, Hannes","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Spaderna, Janek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Spaderna, Janek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thiemann, Peter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thiemann, Peter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Vasconcelos, Vasco","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vasconcelos, Vasco","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6736999750137329,"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/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6736999750137329,"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/T13067","display_name":"Geological Modeling and Analysis","score":0.02800000086426735,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14311","display_name":"Electrical and Electromagnetic Research","score":0.01850000023841858,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.7749999761581421},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.6951000094413757},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6607999801635742},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.5196999907493591},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5131999850273132},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.5081999897956848},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.47749999165534973}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7821000218391418},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7749999761581421},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7426000237464905},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.6951000094413757},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6607999801635742},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.5196999907493591},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5131999850273132},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.5081999897956848},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.47749999165534973},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4474000036716461},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.4309999942779541},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.3643999993801117},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.25049999356269836},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:zenodo.org:16910888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16910888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":null,"raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:16910888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16910888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":null,"raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<p>This":[0],"file":[1,101],"contains":[2],"the supplementary":[3],"material":[4,19],"for":[5,35,102],"the":[6,14,28,36,49,86,98],"paper":[7],"<a":[8],"href=\"https://doi.org/10.1145/3763173\"><em>Borrowing":[9],"From":[10],"Session":[11],"Types</em></a> accepted":[12],"by":[13],"OOPSLA'25":[15],"conference.</p>":[16],"<p>The":[17],"supplementary":[18],"consists":[20],"of":[21,61,72,88],"5":[22],"separate":[23],"projects":[24],"as":[25,91],"described":[26,92],"in":[27,93],"paper:</p>":[29],"<ol>":[30],"<li>Agda":[31,44],"development":[32,45],"(mechanized":[33,46],"proof)":[34,47],"algorithmic":[37],"typing:":[38],"decidability":[39,56],"and":[40,55,66],"soundness":[41],"(section":[42,57,68],"4)</li>":[43,69],"supporting":[48],"prefix":[50],"stripping":[51],"algorithm:":[52],"soundness,":[53],"completeness,":[54],"4.3)</li>":[58],"<li>Rust":[59],"implementation":[60],"a":[62],"prototype":[63],"type":[64],"checker":[65],"interpreter":[67],"<li>Idris2":[70],"encoding":[71],"finite,":[73],"non-branching":[74],"session":[75],"types":[76],"with":[77],"borrowing":[78],"(Appendix":[79],"B)</li>":[80],"<li>A":[81],"Haskell":[82],"project":[83],"that":[84],"evaluates":[85],"performance ":[87],"our":[89],"semantics":[90],"Section":[94],"4.5.</li>":[95],"</ol>":[96],"<p>See":[97],"contained":[99],"<code>README.md</code>":[100],"further":[103],"information.</p>":[104]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}