{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T11:33:29Z","timestamp":1783251209025,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642415814","type":"print"},{"value":"9783642415821","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41582-1_1","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T12:38:21Z","timestamp":1384519101000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Notation for Comonads"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Orchard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: Proceedings of POPL \u201992, pp. 1\u201314. ACM (1992)","DOI":"10.1145\/143165.143169"},{"key":"1_CR2","first-page":"24","volume-title":"AFP 1995. LNCS","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)"},{"key":"1_CR3","unstructured":"Petricek, T., Syme, D.: Syntax Matters: writing abstract computations in F#. Pre-proceedings of TFP (Trends in Functional Programming), St. Andrews, Scotland (2012)"},{"key":"1_CR4","first-page":"135","volume-title":"CEFP 2005. LNCS","author":"T Uustalu","year":"2006","unstructured":"Uustalu, T., Vene, V.: The essence of dataflow programming. In: Horv\u00e1th, Z. (ed.) CEFP 2005. LNCS, vol. 4164, pp. 135\u2013167. Springer, Heidelberg (2006)"},{"key":"1_CR5","first-page":"145","volume":"6","author":"T Uustalu","year":"2007","unstructured":"Uustalu, T., Vene, V.: Comonadic functional attribute evaluation. Trends Funct. Program. 6, 145\u2013160 (2007)","journal-title":"Trends Funct. Program."},{"key":"1_CR6","first-page":"15","volume-title":"In: DAMP \u201910","author":"D Orchard","year":"2010","unstructured":"Orchard, D., Bolingbroke, M., Mycroft, A.: Ypnos: declarative, parallel structured grid programming. In: DAMP \u201910, pp. 15\u201324. ACM, NY (2010)"},{"key":"1_CR7","unstructured":"Kieburtz, R.B.: Codata and Comonads in Haskell (1999) (unpublished)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.entcs.2008.05.029","volume":"203","author":"T Uustalu","year":"2008","unstructured":"Uustalu, T., Vene, V.: Comonadic notions of computation. Electron. Notes Theor. Comput. Sci. 203, 263\u2013284 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796897002864","volume":"7","author":"G Huet","year":"1997","unstructured":"Huet, G.: The zipper. J. Funct. Program. 7, 549\u2013554 (1997)","journal-title":"J. Funct. Program."},{"key":"1_CR10","unstructured":"McBride, C.: The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript (2001)"},{"key":"1_CR11","first-page":"74","volume-title":"FOSSACS 2012. LNCS","author":"D Ahman","year":"2012","unstructured":"Ahman, D., Chapman, J., Uustalu, T.: When is a container a comonad? In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol. 7213, pp. 74\u201388. Springer, Heidelberg (2012)"},{"key":"1_CR12","unstructured":"Orchard, D.: Programming contextual computations (2013) Forthcoming PhD dissertation. http:\/\/www.cl.cam.ac.uk\/techreports"},{"key":"1_CR13","volume-title":"Introduction to higher-order categorical logic","author":"J Lambek","year":"1988","unstructured":"Lambek, J., Scott, P.: Introduction to higher-order categorical logic. Cambridge University Press, Cambridge (1988)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: Logic in Computer Science, LICS\u201989, pp. 14\u201323. IEEE (1989)","DOI":"10.1109\/LICS.1989.39155"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93, 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"1_CR16","first-page":"73","volume-title":"AFP 2004. LNCS","author":"J Hughes","year":"2005","unstructured":"Hughes, J.: Programming with arrows. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol. 3622, pp. 73\u2013129. Springer, Heidelberg (2005)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Paterson, R.: A new notation for arrows. In: ACM SIGPLAN Notices, vol. 36, pp. 229\u2013240. ACM (2001)","DOI":"10.1145\/507669.507664"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2005.06.002","volume":"342","author":"M Abbott","year":"2005","unstructured":"Abbott, M., Altenkirch, T., Ghani, N.: Containers: constructing strictly positive types. Theor. Comput. Sci. 342, 3\u201327 (2005)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41582-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T20:40:00Z","timestamp":1746045600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41582-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415814","9783642415821"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41582-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}