{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:00Z","timestamp":1750309440281,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["UIDB\\\/04516\\\/2020"],"award-info":[{"award-number":["UIDB\\\/04516\\\/2020"]}]},{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["UIDP\\\/04516\\\/2020"],"award-info":[{"award-number":["UIDP\\\/04516\\\/2020"]}]},{"name":"HORIZON EUROPE Framework Programme","award":["101093006 (TaRDIS)"],"award-info":[{"award-number":["101093006 (TaRDIS)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,17]]},"DOI":"10.1145\/3689492.3690048","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T09:14:04Z","timestamp":1729156444000},"page":"54-67","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2840-3966","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Costa Seco","sequence":"first","affiliation":[{"name":"NOVA-LINCS, Caparica, Portugal \/ NOVA School of Science and Technology, Caparica, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0631-5591","authenticated-orcid":false,"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"unstructured":"Sara Almeida. 2021. Type-Driven Synthesis Of Evolving Data Models. Master\u2019s thesis. NOVA School of Science and Technology. http:\/\/hdl.handle.net\/10362\/135849","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/2889443.2889452"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/VACE.2017.6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/3479394.3479416"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/2676726.2677004"},{"unstructured":"Unison Computing. 2024. Unison. https:\/\/www.unison-lang.org\/ Online accessed on 2024-07-18","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","volume-title":"Links: Web Programming Without Tiers. In Formal Methods for Components and Objects, Frank S","author":"Cooper Ezra","year":"2007","unstructured":"Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. 2007. Links: Web Programming Without Tiers. In Formal Methods for Components and Objects, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 266\u2013296. isbn:978-3-540-74792-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.22152\/programming-journal.org"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/2491956.2462161"},{"key":"e_1_3_2_1_10_1","volume-title":"Workshop on Reactive and Event-based Languages & Systems (REBLS\u201915)","author":"Domingues Miguel","year":"2015","unstructured":"Miguel Domingues and Jo\u00e3o Costa Seco. 2015. Type safe evolution of live systems. In Workshop on Reactive and Event-based Languages & Systems (REBLS\u201915). http:\/\/ctp.di.fct.unl.pt\/~jcs"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/2660193.2660240"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/258948.258973"},{"doi-asserted-by":"publisher","unstructured":"Julia Freeman and Timothy Zhou. 2023. Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking. In Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems Programming Languages and Applications: Software for Humanity (SPLASH 2023). Association for Computing Machinery New York NY USA. 31\u201333. isbn:9798400703843 https:\/\/doi.org\/10.1145\/3618305.3623597 10.1145\/3618305.3623597","key":"e_1_3_2_1_13_1","DOI":"10.1145\/3618305.3623597"},{"unstructured":"Ben Hale Mark Paluch Greg Turnquist Jay Bryant and Elena Felder. 2022. R2DBC - Reactive Relational Database Connectivity. https:\/\/r2dbc.io\/spec\/1.0.0.RELEASE\/spec\/html\/ Online accessed on 2024-04-21","key":"e_1_3_2_1_14_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/3359591.3359737"},{"unstructured":"James Lewis and Martin Fowler. 2017. Microservices: a definition of this new architectural term. https:\/\/martinfowler.com\/articles\/microservices.html Online accessed on 2024-04-25","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/3586183.3606801"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/800055.802036"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/2611286.2611290"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/1640089.1640091"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/2577080.2577083"},{"key":"e_1_3_2_1_22_1","volume-title":"Hydroflow: A Model and Runtime for Distributed Systems Programming. Master\u2019s thesis. EECS Department","author":"Samuel Mingwei","year":"2021","unstructured":"Mingwei Samuel. 2021. Hydroflow: A Model and Runtime for Distributed Systems Programming. Master\u2019s thesis. EECS Department, University of California, Berkeley."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.5555\/2050613.2050642"},{"unstructured":"Meteor Software. 2024. Meteor Framework. https:\/\/www.meteor.com\/ Online accessed on 2024-04-21","key":"e_1_3_2_1_24_1"},{"unstructured":"Meteor Software. 2024. Meteor React Tutorial. https:\/\/react-tutorial.meteor.com\/ Online accessed on 2024-07-18","key":"e_1_3_2_1_25_1"},{"unstructured":"Jacqueline Xu. 2017. Online migrations at scale. https:\/\/stripe.com\/blog\/online-migrations Online accessed on 2024-07-18","key":"e_1_3_2_1_26_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1109\/ICDCS.2005.49"}],"event":{"sponsor":["SIGPLAN SIGPLAN","SIGAda SIGAda"],"acronym":"Onward! '24","name":"Onward! '24: 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","location":"Pasadena CA USA"},"container-title":["Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689492.3690048","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689492.3690048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:46Z","timestamp":1750295386000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689492.3690048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":27,"alternative-id":["10.1145\/3689492.3690048","10.1145\/3689492"],"URL":"https:\/\/doi.org\/10.1145\/3689492.3690048","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}