{"id":"https://openalex.org/W4403575173","doi":"https://doi.org/10.48550/arxiv.2410.11742","title":"Abstracting Extensible Recursive Functions","display_name":"Abstracting Extensible Recursive Functions","publication_year":2024,"publication_date":"2024-10-15","ids":{"openalex":"https://openalex.org/W4403575173","doi":"https://doi.org/10.48550/arxiv.2410.11742"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2410.11742","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.11742","pdf_url":"https://arxiv.org/pdf/2410.11742","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2410.11742","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084871422","display_name":"Alex Hubers","orcid":"https://orcid.org/0000-0002-6237-3326"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hubers, Alex","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016604530","display_name":"Apoorv Ingle","orcid":"https://orcid.org/0000-0002-7399-9762"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ingle, Apoorv","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032706130","display_name":"Andrew Marmaduke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marmaduke, Andrew","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5067671067","display_name":"J. Garrett Morris","orcid":"https://orcid.org/0000-0002-3992-1080"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Morris, J. Garrett","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5084871422"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"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":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.2964000105857849,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.2964000105857849,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.5442308783531189},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4336247444152832},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4255432188510895},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32503852248191833},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3002905249595642},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25746577978134155}],"concepts":[{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.5442308783531189},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4336247444152832},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4255432188510895},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32503852248191833},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3002905249595642},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25746577978134155}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2410.11742","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.11742","pdf_url":"https://arxiv.org/pdf/2410.11742","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2410.11742","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2410.11742","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2410.11742","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.11742","pdf_url":"https://arxiv.org/pdf/2410.11742","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403575173.pdf","grobid_xml":"https://content.openalex.org/works/W4403575173.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1948607442","https://openalex.org/W3004004161","https://openalex.org/W2044615423","https://openalex.org/W4247766898","https://openalex.org/W4244765761","https://openalex.org/W2361584951","https://openalex.org/W2364420803"],"abstract_inverted_index":{"We":[0,71,100],"explore":[1],"recursive":[2,42,46,56,78,82,113],"programming":[3],"with":[4,110],"extensible":[5,73,97],"data":[6,14,98],"types.":[7,99,116],"Row":[8],"types":[9,15,43],"make":[10],"the":[11,38],"structure":[12],"of":[13,23,32,41,45,77],"first":[16],"class,":[17],"and":[18,30,44,89,115],"can":[19,84],"express":[20],"a":[21,68,106],"variety":[22],"type":[24,108],"system":[25],"features":[26],"including":[27],"record":[28],"subtyping":[29],"combination":[31,40],"case":[33],"branches.":[34],"Our":[35],"goal":[36],"is":[37,54],"modular":[39],"functions":[47,79],"over":[48,96],"them.":[49],"The":[50],"most":[51],"significant":[52],"challenge":[53],"in":[55,67,80,104],"function":[57],"calls,":[58],"which":[59,81],"may":[60],"need":[61],"to":[62],"account":[63],"for":[64,112],"new":[65],"cases":[66],"combined":[69],"type.":[70],"introduce":[72],"histomorphisms,":[74],"Mendler-style":[75],"descriptions":[76],"calls":[83],"happen":[85],"at":[86],"larger":[87],"types,":[88],"show":[90],"that":[91],"they":[92],"provide":[93],"expressive":[94],"recursion":[95],"formalize":[101],"our":[102],"approach":[103],"R$\u03c9\u03bc$,":[105],"row":[107],"theory":[109],"support":[111],"terms":[114]},"counts_by_year":[],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2024-10-20T00:00:00"}