{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:31Z","timestamp":1772164051374,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,8,19]],"date-time":"2014-08-19T00:00:00Z","timestamp":1408406400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["ERC-2012-StG-308246"],"award-info":[{"award-number":["ERC-2012-StG-308246"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1320563"],"award-info":[{"award-number":["CCF-1320563"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,8,19]]},"DOI":"10.1145\/2628136.2628150","type":"proceedings-article","created":{"date-parts":[[2014,8,21]],"date-time":"2014-08-21T08:19:23Z","timestamp":1408609163000},"page":"227-240","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Functional programming for dynamic and large data with self-adjusting computation"],"prefix":"10.1145","author":[{"given":"Yan","family":"Chen","sequence":"first","affiliation":[{"name":"Max Planck Institute for Software Systems, Kaiserslautern and Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University & INRIA, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kanat","family":"Tangwongsan","sequence":"additional","affiliation":[{"name":"Mahidol University, Nakhonpathom, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,8,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186634"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841036_57"},{"key":"e_1_3_2_1_3_1","volume-title":"Neural Information Processing Systems (NIPS)","author":"Acar U. A.","year":"2007","unstructured":"U. A. Acar , A. Ihler , R. Mettu , and O. S\u00fcmer . Adaptive Bayesian inference . In Neural Information Processing Systems (NIPS) , 2007 . U. A. Acar, A. Ihler, R. Mettu, and O. S\u00fcmer. Adaptive Bayesian inference. In Neural Information Processing Systems (NIPS), 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328476"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87744-8_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596527.1596530"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989493.1989498"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2012.11.007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038916.2038923"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048101"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581482"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_14_1","unstructured":"Y. Chen U. A. Acar and K. Tangwongsan. Appendix to functional programming for dynamic and large data with self-adjusting computation. URL http:\/\/www.mpi-sws.org\/~chenyan\/papers\/icfp14-appendix.pdf.  Y. Chen U. A. Acar and K. Tangwongsan. Appendix to functional programming for dynamic and large data with self-adjusting computation. URL http:\/\/www.mpi-sws.org\/~chenyan\/papers\/icfp14-appendix.pdf."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034792"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254100"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796814000033"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. 7th Symposium on Networked systems design and implementation (NSDI'10)","author":"Condie T.","unstructured":"T. Condie , N. Conway , P. Alvaro , J. M. Hellerstein , K. Elmeleegy , and R. Sears . Mapreduce online . In Proc. 7th Symposium on Networked systems design and implementation (NSDI'10) . T. Condie, N. Conway, P. Alvaro, J. M. Hellerstein, K. Elmeleegy, and R. Sears. Mapreduce online. In Proc. 7th Symposium on Networked systems design and implementation (NSDI'10)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462161"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567544"},{"key":"e_1_3_2_1_22_1","first-page":"369","volume-title":"ACM-SIAM Symposium on Discrete Algorithms (SODA)","author":"Demetrescu C.","year":"2004","unstructured":"C. Demetrescu , S. Emiliozzi , and G. F. Italiano . Experimental analysis of dynamic all pairs shortest path algorithms . In ACM-SIAM Symposium on Discrete Algorithms (SODA) , pages 369 -- 378 , 2004 . C. Demetrescu, S. Emiliozzi, and G. F. Italiano. Experimental analysis of dynamic all pairs shortest path algorithms. In ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 369--378, 2004."},{"key":"e_1_3_2_1_23_1","volume-title":"Handbook on Data Structures and Applications","author":"Demetrescu C.","year":"2005","unstructured":"C. Demetrescu , I. Finocchi , and G. Italiano . Handbook on Data Structures and Applications , chapter 36: Dynamic Graphs. CRC Press , 2005 . C. Demetrescu, I. Finocchi, and G. Italiano. Handbook on Data Structures and Applications, chapter 36: Dynamic Graphs. CRC Press, 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048100"},{"key":"e_1_3_2_1_25_1","volume-title":"Froc: a library for functional reactive programming in ocaml","author":"Donham J.","year":"2010","unstructured":"J. Donham . Froc: a library for functional reactive programming in ocaml , 2010 . URL http:\/\/jaked.github.com\/froc. J. Donham. Froc: a library for functional reactive programming in ocaml, 2010. URL http:\/\/jaked.github.com\/froc."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91679"},{"key":"e_1_3_2_1_28_1","volume-title":"OSDI'10","author":"Gunda P. K.","unstructured":"P. K. Gunda , L. Ravindranath , C. A. Thekkath , Y. Yu , and L. Zhuang . Nectar: Automatic management of data and computation in data centers . In OSDI'10 . P. K. Gunda, L. Ravindranath, C. A. Thekkath, Y. Yu, and L. Zhuang. Nectar: Automatic management of data and computation in data centers. In OSDI'10."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248651"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542480"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594324"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272998.1273005"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103776.2103783"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2428116.2428128"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921632.1921634"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-010-0305-0"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500588"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596559"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212354"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953122.1953148"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522738"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502052"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1%3C35::AID-TAPO4%3E3.0.CO;2-4"},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. 9th Symposium on Operating Systems Design and Implementation (OSDI'10)","author":"Peng D.","year":"2010","unstructured":"D. Peng and F. Dabek . Large-scale incremental processing using distributed transactions and notifications . In Proc. 9th Symposium on Operating Systems Design and Implementation (OSDI'10) , 2010 . D. Peng and F. Dabek. Large-scale incremental processing using distributed transactions and notifications. In Proc. 9th Symposium on Operating Systems Design and Implementation (OSDI'10), 2010."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75305"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2012.6289126"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-011-9068-x"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1631687.1596558"},{"key":"e_1_3_2_1_51_1","first-page":"180","article-title":"Adaptive exact inference in graphical models","volume":"8","author":"S\u00fcmer O.","year":"2011","unstructured":"O. S\u00fcmer , U. A. Acar , A. Ihler , and R. Mettu . Adaptive exact inference in graphical models . Journal of Machine Learning , 8 : 180 -- 186 , 2011 . O. S\u00fcmer, U. A. Acar, A. Ihler, and R. Mettu. Adaptive exact inference in graphical models. Journal of Machine Learning, 8:180--186, 2011.","journal-title":"Journal of Machine Learning"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1046"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/1833515.1833727"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/507546.507654"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/645772.667941"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103137"}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","location":"Gothenburg Sweden","acronym":"ICFP'14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 19th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2628136.2628150","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2628136.2628150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:19:38Z","timestamp":1750216778000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2628136.2628150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,19]]},"references-count":56,"alternative-id":["10.1145\/2628136.2628150","10.1145\/2628136"],"URL":"https:\/\/doi.org\/10.1145\/2628136.2628150","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692915.2628150","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,8,19]]},"assertion":[{"value":"2014-08-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}