{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:50:25Z","timestamp":1775868625414,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,29]],"date-time":"2015-08-29T00:00:00Z","timestamp":1440806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["24700020, 25540001, 15H02681, 15K15966"],"award-info":[{"award-number":["24700020, 25540001, 15H02681, 15K15966"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,29]]},"DOI":"10.1145\/2784731.2784750","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T12:48:13Z","timestamp":1440593293000},"page":"62-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Applicative bidirectional programming with lenses"],"prefix":"10.1145","author":[{"given":"Kazutaka","family":"Matsuda","sequence":"first","affiliation":[{"name":"Tohoku University, Japan"}]},{"given":"Meng","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Kent, UK"}]}],"member":"320","published-online":{"date-parts":[[2015,8,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319634"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863572"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503781"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328487"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411226"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/319732.319740"},{"key":"e_1_3_2_1_7_1","volume-title":"Sep","author":"Ellis T.","year":"2012","unstructured":"T. Ellis . Category and lenses , Sep 2012 . T. Ellis. Category and lenses, Sep 2012."},{"key":"e_1_3_2_1_8_1","unstructured":"Blog post: http:\/\/web.jaguarpaw.co.uk\/~tom\/blog\/posts\/ 2012-09-30-category-and-lenses.html.  Blog post: http:\/\/web.jaguarpaw.co.uk\/~tom\/blog\/posts\/ 2012-09-30-category-and-lenses.html."},{"key":"e_1_3_2_1_9_1","first-page":"320","volume-title":"F. Li","author":"Fegaras L.","unstructured":"L. Fegaras . Propagating updates through XML views using lineage tracing . In F. Li , M. M. Moro, S. Ghandeharizadeh, J. R. Haritsa, G. Weikum, M. J. Carey, F. Casati, E. Y. Chang, I. Manolescu, S. Mehrotra, U. Dayal, and V. J. Tsotras, editors, ICDE , pages 309\u2013 320 . IEEE, 2010. L. Fegaras. Propagating updates through XML views using lineage tracing. In F. Li, M. M. Moro, S. Ghandeharizadeh, J. R. Haritsa, G. Weikum, M. J. Carey, F. Casati, E. Y. Chang, I. Manolescu, S. Mehrotra, U. Dayal, and V. J. Tsotras, editors, ICDE, pages 309\u2013320. IEEE, 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411257"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32202-0_1"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","first-page":"732","volume-title":"A web service architecture for bidirectional XML updating","author":"Hayashi Y.","unstructured":"Y. Hayashi , D. Liu , K. Emoto , K. Matsuda , Z. Hu , and M. Takeichi . A web service architecture for bidirectional XML updating . In G. Dong, X. Lin, W. Wang, Y. Yang, and J. X. Yu, editors, APWeb\/WAIM , volume 4505 of Lecture Notes in Computer Science , pages 721\u2013 732 . Springer, 2007. Y. Hayashi, D. Liu, K. Emoto, K. Matsuda, Z. Hu, and M. Takeichi. A web service architecture for bidirectional XML updating. In G. Dong, X. Lin, W. Wang, Y. Yang, and J. X. Yu, editors, APWeb\/WAIM, volume 4505 of Lecture Notes in Computer Science, pages 721\u2013732. Springer, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"S. J.\n      Hegner\n    .\n  Foundations of canonical update support for closed database views\n  . In S. Abiteboul and P. C. Kanellakis editors ICDT volume \n  470\n   of \n  Lecture Notes in Computer Science pages 422\u2013\n  436\n  . Springer 1990.   S. J. Hegner. Foundations of canonical update support for closed database views. In S. Abiteboul and P. C. Kanellakis editors ICDT volume 470 of Lecture Notes in Computer Science pages 422\u2013436. Springer 1990.","DOI":"10.1007\/3-540-53507-1_93"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863573"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926428"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014025"},{"key":"e_1_3_2_1_18_1","volume-title":"A representation theorem for secondorder functionals. CoRR, abs\/1402.1699","author":"Jaskelioff M.","year":"2014","unstructured":"M. Jaskelioff and R. O\u2019Connor . A representation theorem for secondorder functionals. CoRR, abs\/1402.1699 , 2014 . M. Jaskelioff and R. O\u2019Connor. A representation theorem for secondorder functionals. CoRR, abs\/1402.1699, 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.018"},{"key":"e_1_3_2_1_20_1","series-title":"Graduate Texts in Matheematics","volume-title":"Categories for the Working Mathematician","author":"Mac Lane S.","year":"1998","unstructured":"S. Mac Lane . Categories for the Working Mathematician , volume 5 of Graduate Texts in Matheematics . Springer , second edition edition, 1998 . S. Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Matheematics. Springer, second edition edition, 1998."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291162"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505879.2505888"},{"key":"e_1_3_2_1_23_1","volume-title":"Bidirectionalization for free","author":"Matsuda K.","year":"2014","unstructured":"K. Matsuda and M. Wang . \u201c Bidirectionalization for free \u201d for monomorphic transformations. Science of Computer Programming , 2014 . DOI: 10.1016\/j.scico.2014.07.008. 10.1016\/j.scico.2014.07.008 K. Matsuda and M. Wang. \u201cBidirectionalization for free\u201d for monomorphic transformations. Science of Computer Programming, 2014. DOI: 10.1016\/j.scico.2014.07.008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_25_1","unstructured":"B. Milewski. Lenses Stores and Yoneda Oct 2013.  B. Milewski. Lenses Stores and Yoneda Oct 2013."},{"key":"e_1_3_2_1_26_1","unstructured":"blog post: http:\/\/bartoszmilewski.com\/2013\/10\/08\/ lenses-stores-and-yoneda\/.  blog post: http:\/\/bartoszmilewski.com\/2013\/10\/08\/ lenses-stores-and-yoneda\/."},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Computer Science","first-page":"20","volume-title":"W.-N","author":"Mu S.-C.","unstructured":"S.-C. Mu , Z. Hu , and M. Takeichi . An algebraic approach to bidirectional updating . In W.-N . Chin, editor, APLAS , volume 3302 of Lecture Notes in Computer Science , pages 2\u2013 20 . Springer, 2004. S.-C. Mu, Z. Hu, and M. Takeichi. An algebraic approach to bidirectional updating. In W.-N. Chin, editor, APLAS, volume 3302 of Lecture Notes in Computer Science, pages 2\u201320. Springer, 2004."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2337531"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2543728.2543737"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31113-0_15"},{"key":"e_1_3_2_1_32_1","volume-title":"Preliminary Proceedings of Second International Workshop on Bidirectional Transformations (BX 2013)","author":"Rajkumar R.","year":"2013","unstructured":"R. Rajkumar , S. Lindley , N. Foster , and J. Cheney . Lenses for web data . In Preliminary Proceedings of Second International Workshop on Bidirectional Transformations (BX 2013) , 2013 . R. Rajkumar, S. Lindley, N. Foster, and J. Cheney. Lenses for web data. In Preliminary Proceedings of Second International Workshop on Bidirectional Transformations (BX 2013), 2013."},{"key":"e_1_3_2_1_33_1","first-page":"523","volume-title":"Information Processing","author":"Reynolds J. C.","unstructured":"J. C. Reynolds . Types , abstraction and parametric polymorphism . In R. Mason, editor, Information Processing , pages 513\u2013 523 . Elsevier Science Publishers B.V. (North-Holland), 1983. J. C. Reynolds. Types, abstraction and parametric polymorphism. In R. Mason, editor, Information Processing, pages 513\u2013523. Elsevier Science Publishers B.V. (North-Holland), 1983."},{"key":"e_1_3_2_1_34_1","volume-title":"Jul","author":"van Laarhoven T.","year":"2009","unstructured":"T. van Laarhoven . Cps based functional references , Jul 2009 . T. van Laarhoven. Cps based functional references, Jul 2009."},{"key":"e_1_3_2_1_35_1","unstructured":"blog post: http:\/\/www.twanvl.nl\/blog\/haskell\/ cps-functional-references.  blog post: http:\/\/www.twanvl.nl\/blog\/haskell\/ cps-functional-references."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480904"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596577"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863571"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796813000130"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"M.\n      Wang J.\n      Gibbons K.\n      Matsuda and \n      Z.\n      Hu\n  . \n  Gradual refinement: Blending pattern matching with data abstraction\n  . In C. Bolduc J. Desharnais and B. Ktari editors MPC volume \n  6120\n   of \n  Lecture Notes in Computer Science pages 397\u2013\n  425\n  . Springer 2010.   M. Wang J. Gibbons K. Matsuda and Z. Hu. Gradual refinement: Blending pattern matching with data abstraction. In C. Bolduc J. Desharnais and B. Ktari editors MPC volume 6120 of Lecture Notes in Computer Science pages 397\u2013425. Springer 2010.","DOI":"10.1007\/978-3-642-13321-3_22"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.014"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034825"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2543728.2543729"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321657"},{"key":"e_1_3_2_1_46_1","first-page":"550","volume-title":"ICSE","author":"Yu Y.","unstructured":"Y. Yu , Y. Lin , Z. Hu , S. Hidaka , H. Kato , and L. Montrieux . Maintaining invariant traceability through bidirectional transformations. In M. Glinz, G. C. Murphy, and M. Pezz\u00e8, editors , ICSE , pages 540\u2013 550 . IEEE, 2012. Y. Yu, Y. Lin, Z. Hu, S. Hidaka, H. Kato, and L. Montrieux. Maintaining invariant traceability through bidirectional transformations. In M. Glinz, G. C. Murphy, and M. Pezz\u00e8, editors, ICSE, pages 540\u2013550. IEEE, 2012."}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","location":"Vancouver BC Canada","acronym":"ICFP'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2784731.2784750","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2784731.2784750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:16:48Z","timestamp":1750213008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2784731.2784750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,29]]},"references-count":46,"alternative-id":["10.1145\/2784731.2784750","10.1145\/2784731"],"URL":"https:\/\/doi.org\/10.1145\/2784731.2784750","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858949.2784750","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,29]]},"assertion":[{"value":"2015-08-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}