{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:49:37Z","timestamp":1775868577448,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319309354","type":"print"},{"value":"9783319309361","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30936-1_1","type":"book-chapter","created":{"date-parts":[[2016,3,29]],"date-time":"2016-03-29T16:27:44Z","timestamp":1459268864000},"page":"1-31","source":"Crossref","is-referenced-by-count":12,"title":["Reflections on Monadic Lenses"],"prefix":"10.1007","author":[{"given":"Faris","family":"Abou-Saleh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Cheney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"McKinna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,25]]},"reference":[{"key":"1_CR1","first-page":"187","volume-title":"Lecture Notes in Computer Science","author":"Faris Abou-Saleh","year":"2015","unstructured":"Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Notions of bidirectional computation and\u00a0entangled\u00a0state monads. In: Hinze, R., Voigtl\u00e4nder, J. (eds.) MPC 2015. LNCS, vol. 9129, pp. 187\u2013214. Springer, Heidelberg (2015a)"},{"key":"1_CR2","unstructured":"Abou-Saleh, F., McKinna, J., Gibbons, J.: Coalgebraic aspects of bidirectional computation. In: BX 2015, CEUR-WS, vol. 1396, pp. 15\u201330 (2015b)"},{"key":"1_CR3","unstructured":"Cheney, J., McKinna, J., Stevens, P., Gibbons, J., Abou-Saleh, F.: Entangled state monads. In: Terwilliger and Hidaka (2014)"},{"key":"1_CR4","unstructured":"Divi\u00e1nszky, P.: LGtk API correction. \n                    http:\/\/people.inf.elte.hu\/divip\/LGtk\/CorrectedAPI.html"},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"JN Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. TOPLAS 29(3), 17 (2007)","journal-title":"TOPLAS"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32202-0_1","volume-title":"Generic and Indexed Programming","author":"N Foster","year":"2012","unstructured":"Foster, N., Matsuda, K., Voigtl\u00e4nder, J.: Three complementary approaches to bidirectional programming. In: Gibbons, J. (ed.) Generic and Indexed Programming. LNCS, vol. 7470, pp. 1\u201346. Springer, Heidelberg (2012)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: POPL, pp. 371\u2013384. ACM (2011)","DOI":"10.1145\/1925844.1926428"},{"key":"1_CR8","unstructured":"Johnson, M., Rosebrugh, R.: Spans of lenses. In: Terwilliger and Hidaka (2014)"},{"key":"1_CR9","unstructured":"Jones, M.P., Duponcheel, L.: Composing monads. Technical report RR-1004, DCS, Yale (1993)"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-1-4471-3215-8_12","volume-title":"Functional Programming, Glasgow 1992","author":"David J. King","year":"1993","unstructured":"King, D.J., Wadler, P.: Combining monads. In: Proceedings of the 1992 Glasgow Workshop on Functional Programming, pp. 134\u2013143 (1992)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Liang, S., Hudak, P., Jones, M.P.: Monad transformers and modular interpreters. In: POPL, pp. 333\u2013343 (1995)","DOI":"10.1145\/199448.199528"},{"key":"1_CR12","unstructured":"Pacheco, H., Hu, Z., Fischer, S.: Monadic combinators for \u201cputback\u201d style bidirectional programming. In: PEPM, pp. 39\u201350. ACM (2014). \n                    http:\/\/doi.acm.org\/10.1145\/2543728.2543737"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G Plotkin","year":"2002","unstructured":"Plotkin, G., Power, J.: Notions of computation determine monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol. 2303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"issue":"1","key":"1_CR14","first-page":"7","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. SoSyM 9(1), 7\u201320 (2010)","journal-title":"SoSyM"},{"key":"1_CR15","unstructured":"Terwilliger, J., Hidaka, S. (eds.): BX Workshop (2014). \n                    http:\/\/ceur-ws.org\/Vol-1133\/#bx"},{"key":"1_CR16","unstructured":"TLCBX Project: a theory of least change for bidirectional transformations (2013\u20132016). \n                    http:\/\/www.cs.ox.ac.uk\/projects\/tlcbx\/\n                    \n                  , \n                    http:\/\/groups.inf.ed.ac.uk\/bx\/"},{"issue":"4","key":"1_CR17","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P Wadler","year":"1992","unstructured":"Wadler, P.: Comprehending monads. Math. Struct. Comput. Sci. 2(4), 461\u2013493 (1992). \n                    http:\/\/dx.org\/10.1017\/S0960129500001560","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume-title":"Advanced Functional Programming","author":"P Wadler","year":"1995","unstructured":"Wadler, P.: Monads for functional programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol. 925, pp. 24\u201352. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","A List of Successes That Can Change the World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30936-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T18:50:10Z","timestamp":1559415010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30936-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319309354","9783319309361"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30936-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}