{"id":"https://openalex.org/W2050204069","doi":"https://doi.org/10.1145/2814270.2814305","title":"Incremental computation with names","display_name":"Incremental computation with names","publication_year":2015,"publication_date":"2015-10-23","ids":{"openalex":"https://openalex.org/W2050204069","doi":"https://doi.org/10.1145/2814270.2814305","mag":"2050204069"},"language":"en","primary_location":{"id":"doi:10.1145/2814270.2814305","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2814270.2814305","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2814270.2814305","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2814270.2814305","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030683830","display_name":"Matthew A. Hammer","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Matthew A. Hammer","raw_affiliation_strings":["University of Colorado at Boulder, USA / University of Maryland at College Park, USA","University of Colorado at Boulder, USA / University of Maryland at College Park, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Colorado at Boulder, USA / University of Maryland at College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Colorado at Boulder, USA / University of Maryland at College Park, USA#TAB#","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007554264","display_name":"Jana Dunfield","orcid":"https://orcid.org/0000-0002-3718-3395"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jana Dunfield","raw_affiliation_strings":["University of British Columbia, Canada","University of British Columbia, Canada ,"],"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"University of British Columbia, Canada ,","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040567153","display_name":"Kyle Headley","orcid":"https://orcid.org/0000-0002-4880-4150"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kyle Headley","raw_affiliation_strings":["University of Colorado at Boulder, USA / University of Maryland at College Park, USA","University of Colorado at Boulder, USA / University of Maryland at College Park, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Colorado at Boulder, USA / University of Maryland at College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Colorado at Boulder, USA / University of Maryland at College Park, USA#TAB#","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079397317","display_name":"Nicholas Labich","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicholas Labich","raw_affiliation_strings":["University of Maryland at College Park, USA","University of Maryland at College Park. , USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland at College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Maryland at College Park. , USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038702707","display_name":"Jeffrey S. Foster","orcid":"https://orcid.org/0000-0001-8043-1166"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey S. Foster","raw_affiliation_strings":["University of Maryland at College Park, USA","University of Maryland at College Park. , USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland at College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Maryland at College Park. , USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046625836","display_name":"Michael Hicks","orcid":"https://orcid.org/0000-0002-2759-9223"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Hicks","raw_affiliation_strings":["University of Maryland at College Park, USA","University of Maryland at College Park. , USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland at College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Maryland at College Park. , USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091183810","display_name":"David Van Horn","orcid":"https://orcid.org/0000-0002-9201-6864"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Van Horn","raw_affiliation_strings":["University of Maryland at College Park, USA","University of Maryland at College Park. , USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland at College Park, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Maryland at College Park. , USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5030683830"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":4.9462,"has_fulltext":true,"cited_by_count":41,"citation_normalized_percentile":{"value":0.95302245,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"748","last_page":"766"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9984999895095825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9923999905586243,"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/computer-science","display_name":"Computer science","score":0.8280696868896484},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.8118444681167603},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5670260190963745},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5399124622344971},{"id":"https://openalex.org/keywords/scratch","display_name":"Scratch","score":0.5153440833091736},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5099960565567017},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5056126117706299},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44646549224853516},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42134323716163635},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23383599519729614}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8280696868896484},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.8118444681167603},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5670260190963745},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5399124622344971},{"id":"https://openalex.org/C2781235140","wikidata":"https://www.wikidata.org/wiki/Q275131","display_name":"Scratch","level":2,"score":0.5153440833091736},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5099960565567017},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5056126117706299},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44646549224853516},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42134323716163635},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23383599519729614}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2814270.2814305","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2814270.2814305","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2814270.2814305","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1503.07792","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1503.07792","pdf_url":"https://arxiv.org/pdf/1503.07792","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/2814270.2814305","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2814270.2814305","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2814270.2814305","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.44999998807907104}],"awards":[{"id":"https://openalex.org/G2506076202","display_name":null,"funder_award_id":"FA8750-12-2-0106","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5347702258","display_name":"SHF: Small: Empirical Studies, Principles and Techniques for Software Systems with Complex Configuration Spaces","funder_award_id":"1116740","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5446205676","display_name":null,"funder_award_id":"CCF-1116740","funder_id":"https://openalex.org/F4320309085","funder_display_name":"Center for Selective C-H Functionalization, National Science Foundation"},{"id":"https://openalex.org/G7163826992","display_name":null,"funder_award_id":"CCF-1116740","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8375952032","display_name":"SHF: Small: Specifying, Checking, and Analyzing Applications Built with Dynamic Language Frameworks","funder_award_id":"1319666","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/F4320309085","display_name":"Center for Selective C-H Functionalization, National Science Foundation","ror":"https://ror.org/02h8v7m77"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2050204069.pdf","grobid_xml":"https://content.openalex.org/works/W2050204069.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W95578667","https://openalex.org/W1511668635","https://openalex.org/W1545449210","https://openalex.org/W1795583176","https://openalex.org/W1920490127","https://openalex.org/W1965784613","https://openalex.org/W1967890297","https://openalex.org/W1970448777","https://openalex.org/W1978353388","https://openalex.org/W2001359464","https://openalex.org/W2010929544","https://openalex.org/W2015995083","https://openalex.org/W2028423097","https://openalex.org/W2035829578","https://openalex.org/W2050204069","https://openalex.org/W2069718764","https://openalex.org/W2089171884","https://openalex.org/W2097284499","https://openalex.org/W2104196725","https://openalex.org/W2104464431","https://openalex.org/W2106656979","https://openalex.org/W2113112607","https://openalex.org/W2121757479","https://openalex.org/W2126884146","https://openalex.org/W2135759466","https://openalex.org/W2139865986","https://openalex.org/W2143913075","https://openalex.org/W2153504150","https://openalex.org/W2166089338","https://openalex.org/W2166238335","https://openalex.org/W2166505330","https://openalex.org/W2172288767","https://openalex.org/W2341171179","https://openalex.org/W2953021652","https://openalex.org/W3006529926","https://openalex.org/W3199565109","https://openalex.org/W4229498389","https://openalex.org/W4231894538","https://openalex.org/W4232464611","https://openalex.org/W4234334792","https://openalex.org/W6632598550"],"related_works":["https://openalex.org/W4385900567","https://openalex.org/W3136890312","https://openalex.org/W2259894237","https://openalex.org/W4312309273","https://openalex.org/W2132325017","https://openalex.org/W1923258046","https://openalex.org/W1671914757","https://openalex.org/W593478746","https://openalex.org/W2100079361","https://openalex.org/W2968873290"],"abstract_inverted_index":{"Over":[0],"the":[1,23,98,165,171],"past":[2],"thirty":[3],"years,":[4],"there":[5],"has":[6],"been":[7],"significant":[8],"progress":[9],"in":[10,37],"developing":[11],"general-purpose,":[12],"language-based":[13],"approaches":[14,39],"to":[15,20,42,73,117,121,134],"incremental":[16,45,68,110,137,192],"computation,":[17],"which":[18],"aims":[19],"efficiently":[21,122],"update":[22],"result":[24],"of":[25,51,79,92,100],"a":[26,48,62,80,89,152,189],"computation":[27,111,186,193],"when":[28],"an":[29,106],"input":[30],"is":[31,40,146,158],"changed.":[32],"A":[33],"key":[34],"design":[35],"challenge":[36],"such":[38],"how":[41,116,133],"provide":[43,180],"efficient":[44,67],"support":[46],"for":[47,66,109],"broad":[49],"range":[50],"programs.":[52],"In":[53],"this":[54],"paper,":[55],"we":[56,148,174],"argue":[57],"that":[58,176],"first-class":[59],"names":[60,101],"are":[61],"critical":[63],"linguistic":[64],"feature":[65],"computation.":[69,172],"Names":[70],"identify":[71],"computations":[72],"be":[74],"reused":[75],"across":[76],"differing":[77],"runs":[78],"program,":[81],"and":[82,130,140,155,187],"making":[83],"them":[84],"first":[85],"class":[86],"gives":[87],"programmers":[88],"high":[90],"level":[91],"control":[93],"over":[94,183],"reuse.":[95],"We":[96,114],"demonstrate":[97,175],"benefits":[99],"by":[102],"presenting":[103],"Nominal":[104,119,143,177],"Adapton,":[105,188],"ML-like":[107],"language":[108],"with":[112],"names.":[113],"describe":[115],"use":[118],"Adapton":[120,178],"incrementalize":[123],"several":[124],"standard":[125],"programming":[126],"patterns---including":[127],"maps,":[128],"folds,":[129],"unfolds---and":[131],"show":[132],"build":[135],"efficient,":[136],"probabilistic":[138],"trees":[139],"tries.":[141],"Since":[142],"Adapton's":[144],"implementation":[145],"subtle,":[147],"formalize":[149],"it":[150,157,162],"as":[151,168],"core":[153],"calculus":[154],"prove":[156],"from-scratch":[159,185],"consistent,":[160],"meaning":[161],"always":[163],"produces":[164],"same":[166],"answer":[167],"simply":[169],"re-running":[170],"Finally,":[173],"can":[179],"large":[181],"speedups":[182],"both":[184],"previous":[190],"state-of-the-art":[191],"system.":[194]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}