{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:37:07Z","timestamp":1770298627331,"version":"3.49.0"},"reference-count":14,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(05)80316-0","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"187-208","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":11,"special_numbering":"C","title":["Monads, Shapely Functors and Traversals"],"prefix":"10.1016","volume":"29","author":[{"given":"E.","family":"Moggi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Bell\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.B.","family":"Jay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80316-0_BIB1","doi-asserted-by":"crossref","DOI":"10.1007\/10704973_2","article-title":"Generic programming \u2014 an introduction","volume":"1998","author":"Backhouse","year":"1999","journal-title":"Lecture notes for the summer school on Advanced Functional Programming"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB2","series-title":"Toposes, Triples and Theories.","author":"Barr","year":"1985"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(90)90121-W","article-title":"List-aritmetic distributive categories: locoi","volume":"66","author":"Cockett","year":"1990","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB4","series-title":"Memoranda Informatica","article-title":"Monadic maps and folds for arbitrary datatypes","author":"Fokkinga","year":"1994"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB5","first-page":"242","article-title":"When do datatypes commute?","volume":"1290","author":"Hoogendijk","year":"1997"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB6","series-title":"PhD thesis, Technische Universiteit Eindhoven","article-title":"A Generic Theory of Data Types.","author":"Hoogendijk","year":"1997"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB7","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","article-title":"A semantics for shape","volume":"25","author":"Jay","year":"1995","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB8","series-title":"ESOP'92, LNCS 582","article-title":"A theory of qualified types","author":"Jones","year":"1992"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB9","series-title":"PhD thesis, CWI, Amsterdam","article-title":"Combinatory Reduction Systems","author":"Klop","year":"1980"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB10","first-page":"1","article-title":"Calculate Polytypically!","volume":"1140","author":"Meertens","year":"1996"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB11","doi-asserted-by":"crossref","unstructured":"E. Meijer and J. Jeuring. Merging monads and folds for functional programming. In J. Jeuring and E. Meijer, editors, Proceedings of the First International Springschool on Advanced Functional Programming Techniques, LNCS 925, pages 228\u2013266. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59451-5_7"},{"issue":"1","key":"10.1016\/S1571-0661(05)80316-0_BIB12","doi-asserted-by":"crossref","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of computation and monads","volume":"93","author":"Moggi","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB13","doi-asserted-by":"crossref","unstructured":"J. Vin\u00e1rek. Extensions of symmetric hom-functors to the Kleisli category. In Ferenc G\u00e9cseg, editor, Proceedings of the 1981 International Conference on Fundamentals of Computation Theory, LNCS 117, pages 394\u2013399, Szeged, Hungary, August 1981. Springer-Verlag.","DOI":"10.1007\/3-540-10854-8_43"},{"key":"10.1016\/S1571-0661(05)80316-0_BIB14","article-title":"Comprehending monads","author":"Wadler","year":"1992","journal-title":"Mathematical Structures in Computer Science, 1993. Special issue of selected papers from 6'th Conference on Lisp and Functional Programming"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803160?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803160?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:56Z","timestamp":1761610076000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105803160"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":14,"alternative-id":["S1571066105803160"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80316-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Monads, Shapely Functors and Traversals","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80316-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1999 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}