{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:29Z","timestamp":1750220429742,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T00:00:00Z","timestamp":1569369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"ERC","award":["682315"],"award-info":[{"award-number":["682315"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,25]]},"DOI":"10.1145\/3412932.3412945","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Language-integrated updatable views"],"prefix":"10.1145","author":[{"given":"Rudi","family":"Horn","sequence":"first","affiliation":[{"name":"University of Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Fowler","sequence":"additional","affiliation":[{"name":"University of Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Cheney","sequence":"additional","affiliation":[{"name":"University of Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. Elm: A delightful language for reliable webapps. http:\/\/www.elm-lang.org.  2019. Elm: A delightful language for reliable webapps. http:\/\/www.elm-lang.org."},{"volume-title":"Foundations of databases: the logical level","author":"Abiteboul Serge","key":"e_1_3_2_1_2_1","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of databases: the logical level . Addison-Wesley Longman Publishing Co., Inc. Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of databases: the logical level. Addison-Wesley Longman Publishing Co., Inc."},{"key":"e_1_3_2_1_3_1","unstructured":"Yasuhito Asano Soichiro Hidaka Zhenjiang Hu Yasunori Ishihara Hiroyuki Kato Hsiang-Shang Ko Keisuke Nakano Makoto Onizuka Yuya Sasaki Toshiyuki Shimizu etal 2018. A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. arXiv preprint arXiv:1803.06674 (2018).  Yasuhito Asano Soichiro Hidaka Zhenjiang Hu Yasunori Ishihara Hiroyuki Kato Hsiang-Shang Ko Keisuke Nakano Makoto Onizuka Yuya Sasaki Toshiyuki Shimizu et al. 2018. A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. arXiv preprint arXiv:1803.06674 (2018)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319634"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Aaron Bohannon Benjamin C Pierce and Jeffrey A Vaughan. 2006. Relational lenses: a language for updatable views. In PODS. ACM 338--347.  Aaron Bohannon Benjamin C Pierce and Jeffrey A Vaughan. 2006. Relational lenses: a language for updatable views. In PODS. ACM 338--347.","DOI":"10.1145\/1142351.1142399"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Adam Chlipala. 2015. Ur\/Web: A Simple Model for Programming the Web. In POPL. ACM 153--165.  Adam Chlipala. 2015. Ur\/Web: A Simple Model for Programming the Web. In POPL. ACM 153--165.","DOI":"10.1145\/2775051.2677004"},{"volume-title":"DBPL (Lecture Notes in Computer Science)","author":"Cooper Ezra","key":"e_1_3_2_1_7_1","unstructured":"Ezra Cooper . 2009. The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed . In DBPL (Lecture Notes in Computer Science) , Vol. 5708 . Springer , 36--51. Ezra Cooper. 2009. The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed. In DBPL (Lecture Notes in Computer Science), Vol. 5708. Springer, 36--51."},{"key":"e_1_3_2_1_8_1","volume-title":"Links: Web programming without tiers","author":"Cooper Ezra","year":"2006","unstructured":"Ezra Cooper , Sam Lindley , Philip Wadler , and Jeremy Yallop . 2006 . Links: Web programming without tiers . In FMCO. Springer , 266--296. Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. 2006. Links: Web programming without tiers. In FMCO. Springer, 266--296."},{"key":"e_1_3_2_1_9_1","volume-title":"ACM Sigmod Record","volume":"14","author":"Copeland George","year":"1984","unstructured":"George Copeland and David Maier . 1984 . Making smalltalk a database system . In ACM Sigmod Record , Vol. 14 . ACM, 316--325. George Copeland and David Maier. 1984. Making smalltalk a database system. In ACM Sigmod Record, Vol. 14. ACM, 316--325."},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"Editlets: type-based, client-side editors for iTasks","volume":"6","author":"Domoszlai L\u00e1szl\u00f3","year":"2014","unstructured":"L\u00e1szl\u00f3 Domoszlai , Bas Lijnse , and Rinus Plasmeijer . 2014 . Editlets: type-based, client-side editors for iTasks . In IFL. ACM , 6 : 1 -- 6 :13. L\u00e1szl\u00f3 Domoszlai, Bas Lijnse, and Rinus Plasmeijer. 2014. Editlets: type-based, client-side editors for iTasks. In IFL. ACM, 6:1--6:13.","journal-title":"IFL. ACM"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Anton Ekblad. 2016. High-performance client-side web applications through Haskell EDSLs. In Haskell. ACM 62--73.  Anton Ekblad. 2016. High-performance client-side web applications through Haskell EDSLs. In Haskell. ACM 62--73.","DOI":"10.1145\/3241625.2976015"},{"volume-title":"PADL (Lecture Notes in Computer Science)","author":"Elsman Martin","key":"e_1_3_2_1_12_1","unstructured":"Martin Elsman and Niels Hallenberg . 2003. Web Programming with SMLserver . In PADL (Lecture Notes in Computer Science) , Vol. 2562 . Springer , 74--91. Martin Elsman and Niels Hallenberg. 2003. Web Programming with SMLserver. In PADL (Lecture Notes in Computer Science), Vol. 2562. Springer, 74--91."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-5316-8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Simon Fowler Simon Harding Joanna Sharman and James Cheney. 2020. Cross-tier web programming for curated databases: A case study. Under review.. http:\/\/arxiv.org\/abs\/2003.03845  Simon Fowler Simon Harding Joanna Sharman and James Cheney. 2020. Cross-tier web programming for curated databases: A case study. Under review.. http:\/\/arxiv.org\/abs\/2003.03845","DOI":"10.2218\/ijdc.v15i1.717"},{"key":"e_1_3_2_1_16_1","volume-title":"POPL","volume":"46","author":"Hofmann Martin","year":"2011","unstructured":"Martin Hofmann , Benjamin Pierce , and Daniel Wagner . 2011 . Symmetric lenses . In POPL , Vol. 46 . ACM, 371--384. Martin Hofmann, Benjamin Pierce, and Daniel Wagner. 2011. Symmetric lenses. In POPL, Vol. 46. ACM, 371--384."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Martin Hofmann Benjamin C. Pierce and Daniel Wagner. 2012. Edit lenses. In POPL. ACM 495--508.  Martin Hofmann Benjamin C. Pierce and Daniel Wagner. 2012. Edit lenses. In POPL. ACM 495--508.","DOI":"10.1145\/2103621.2103715"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.11907246"},{"key":"e_1_3_2_1_19_1","unstructured":"Rudi Horn Simon Fowler and James Cheney. 2020. Language-Integrated Updatable Views (Extended version). https:\/\/arxiv.org\/abs\/2003.02191  Rudi Horn Simon Fowler and James Cheney. 2020. Language-Integrated Updatable Views (Extended version). https:\/\/arxiv.org\/abs\/2003.02191"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the ACM on Programming Languages 2, ICFP","author":"Horn Rudi","year":"2018","unstructured":"Rudi Horn , Roly Perera , and James Cheney . 2018 . Incremental relational lenses . Proceedings of the ACM on Programming Languages 2, ICFP (2018), 74. Rudi Horn, Roly Perera, and James Cheney. 2018. Incremental relational lenses. Proceedings of the ACM on Programming Languages 2, ICFP (2018), 74."},{"volume-title":"Validity checking of putback transformations in bidirectional programming","author":"Hu Zhenjiang","key":"e_1_3_2_1_21_1","unstructured":"Zhenjiang Hu , Hugo Pacheco , and Sebastian Fischer . 2014. Validity checking of putback transformations in bidirectional programming . In FM. Springer , 1--15. Zhenjiang Hu, Hugo Pacheco, and Sebastian Fischer. 2014. Validity checking of putback transformations in bidirectional programming. In FM. Springer, 1--15."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Sam Lindley and James Cheney. 2012. Row-based effect types for database integration. In TLDI. ACM 91--102.  Sam Lindley and James Cheney. 2012. Row-based effect types for database integration. In TLDI. ACM 91--102.","DOI":"10.1145\/2103786.2103798"},{"key":"e_1_3_2_1_23_1","volume-title":"D1 (11","author":"Pawson Adam J.","year":"2013","unstructured":"Adam J. Pawson , Joanna L. Sharman , Helen E. Benson , Elena Faccenda , Stephen P.H. Alexander , O. Peter Buneman , Anthony P. Davenport , John C. McGrath , John A. Peters , Christopher Southan , Michael Spedding , Wenyuan Yu , Anthony J. Harmar , and NC-IUPHAR. 2013. The IUPHAR\/BPS Guide to PHARMACOLOGY: an expert-driven knowledgebase of drug targets and their ligands. Nucleic Acids Research 42 , D1 (11 2013 ), D1098--D1106. Adam J. Pawson, Joanna L. Sharman, Helen E. Benson, Elena Faccenda, Stephen P.H. Alexander, O. Peter Buneman, Anthony P. Davenport, John C. McGrath, John A. Peters, Christopher Southan, Michael Spedding, Wenyuan Yu, Anthony J. Harmar, and NC-IUPHAR. 2013. The IUPHAR\/BPS Guide to PHARMACOLOGY: an expert-driven knowledgebase of drug targets and their ligands. Nucleic Acids Research 42, D1 (11 2013), D1098--D1106."},{"key":"e_1_3_2_1_24_1","volume-title":"Koopman","author":"Plasmeijer Rinus","year":"2007","unstructured":"Rinus Plasmeijer , Peter Achten , and Pieter W. M . Koopman . 2007 . iTasks: executable specifications of interactive work flow systems for the web. In ICFP. ACM , 141--152. Rinus Plasmeijer, Peter Achten, and Pieter W. M. Koopman. 2007. iTasks: executable specifications of interactive work flow systems for the web. In ICFP. ACM, 141--152."},{"key":"e_1_3_2_1_25_1","volume-title":"Koopman","author":"Plasmeijer Rinus","year":"2012","unstructured":"Rinus Plasmeijer , Bas Lijnse , Steffen Michels , Peter Achten , and Pieter W. M . Koopman . 2012 . Task-oriented programming in a pure functional language. In PPDP. ACM , 195--206. Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, and Pieter W. M. Koopman. 2012. Task-oriented programming in a pure functional language. In PPDP. ACM, 195--206."},{"key":"e_1_3_2_1_26_1","first-page":"1","article-title":"Eliom: tierless Web programming from the ground up","volume":"8","author":"Radanne Gabriel","year":"2016","unstructured":"Gabriel Radanne , Vasilis Papavasileiou , J\u00e9r\u00f4me Vouillon , and Vincent Balat . 2016 . Eliom: tierless Web programming from the ground up . In IFL. ACM , 8 : 1 -- 8 :12. Gabriel Radanne, Vasilis Papavasileiou, J\u00e9r\u00f4me Vouillon, and Vincent Balat. 2016. Eliom: tierless Web programming from the ground up. In IFL. ACM, 8:1--8:12.","journal-title":"IFL. ACM"},{"key":"e_1_3_2_1_27_1","unstructured":"Manuel Serrano Erick Gallesio and Florian Loitsch. 2006. Hop: a language for programming the web 2.0. In OOPSLA Companion. ACM 975--985.  Manuel Serrano Erick Gallesio and Florian Loitsch. 2006. Hop: a language for programming the web 2.0. In OOPSLA Companion. ACM 975--985."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Manuel Serrano and Vincent Prunet. 2016. A glimpse of Hopjs. In ICFP. ACM 180--192.  Manuel Serrano and Vincent Prunet. 2016. A glimpse of Hopjs. In ICFP. ACM 180--192.","DOI":"10.1145\/3022670.2951916"},{"key":"e_1_3_2_1_29_1","volume-title":"OOPSLA","author":"Weisenburger Pascal","year":"2018","unstructured":"Pascal Weisenburger , Mirko K\u00f6hler , and Guido Salvaneschi . 2018. Distributed system development with ScalaLoci. PACMPL 2 , OOPSLA ( 2018 ), 129:1--129:30. Pascal Weisenburger, Mirko K\u00f6hler, and Guido Salvaneschi. 2018. Distributed system development with ScalaLoci. PACMPL 2, OOPSLA (2018), 129:1--129:30."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003585"}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","acronym":"IFL '19","location":"Singapore Singapore"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:02Z","timestamp":1750193222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":30,"alternative-id":["10.1145\/3412932.3412945","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412945","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}