{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:15:58Z","timestamp":1759637758676,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T00:00:00Z","timestamp":1295827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,1,24]]},"DOI":"10.1145\/1929501.1929520","type":"proceedings-article","created":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T14:58:22Z","timestamp":1295881102000},"page":"91-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Calculating with lenses"],"prefix":"10.1145","author":[{"given":"Hugo","family":"Pacheco","sequence":"first","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2011,1,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_19"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142399"},{"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\/351240.351266"},{"volume-title":"Proceedings of the 2nd Workshop on Mathematically Structured Functional Programming","year":"2008","author":"Cunha A.","key":"e_1_3_2_1_6_1"},{"issue":"4","key":"e_1_3_2_1_7_1","first-page":"315","article-title":"Point-free program transformation","volume":"66","author":"Cunha A.","year":"2005","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.019"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.01.003"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_20"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/606612.606616"},{"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":"publisher","DOI":"10.1145\/1529282.1529383"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863573"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"M. Hofmann B. C. Pierce and D. Wagner. Symmetric Lenses 2010. Submitted for publication.  M. Hofmann B. C. Pierce and D. Wagner. Symmetric Lenses 2010. Submitted for publication.","DOI":"10.1145\/1926385.1926428"},{"key":"e_1_3_2_1_18_1","first-page":"203","volume-title":"Proceedings of the 2001 ACM SIGPLAN Haskell Workshop","author":"Jones S. P.","year":"2001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00028-0"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244386"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291162"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_2"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","first-page":"139","volume-title":"Proceedings of the 2nd International Summer School on Generative and Transformational Techniques in Software Engineering","author":"Oliveira J. N.","year":"2007"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1886619.1886640"},{"key":"e_1_3_2_1_26_1","first-page":"233","volume-title":"Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages","author":"Schrijvers T.","year":"2007"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165216"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"G. Sittampalam and O. de Moor. Mechanising Fusion. In J. Gibbons and O. de Moor editors The Fun of Programming chapter 5 pages 79--104. Palgrave Macmillan 2003.  G. Sittampalam and O. de Moor. Mechanising Fusion. In J. Gibbons and O. de Moor editors The Fun of Programming chapter 5 pages 79--104. Palgrave Macmillan 2003.","DOI":"10.1007\/978-1-349-91518-7_5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394103"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480904"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863571"}],"event":{"name":"POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Austin Texas USA","acronym":"POPL '11"},"container-title":["Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929501.1929520","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1929501.1929520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:31Z","timestamp":1750278391000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929501.1929520"}},"subtitle":["optimising bidirectional transformations"],"short-title":[],"issued":{"date-parts":[[2011,1,24]]},"references-count":31,"alternative-id":["10.1145\/1929501.1929520","10.1145\/1929501"],"URL":"https:\/\/doi.org\/10.1145\/1929501.1929520","relation":{},"subject":[],"published":{"date-parts":[[2011,1,24]]},"assertion":[{"value":"2011-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}