{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:13Z","timestamp":1725538153090},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642037405"},{"type":"electronic","value":"9783642037412"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03741-2_2","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T10:20:01Z","timestamp":1252923601000},"page":"3-17","source":"Crossref","is-referenced-by-count":4,"title":["Algebras for Parameterised Monads"],"prefix":"10.1007","author":[{"given":"Robert","family":"Atkey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Atkey, R.: Parameterised notions of computation. Journal of Functional Programming\u00a019 (2009)","DOI":"10.1017\/S095679680900728X"},{"key":"2_CR2","first-page":"1","volume":"2","author":"J.M. Beck","year":"2003","unstructured":"Beck, J.M.: Triples, algebras and cohomology. Reprints in Theory and Applications of Categories\u00a02, 1\u201359 (2003)","journal-title":"Reprints in Theory and Applications of Categories"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/11924661_7","volume-title":"Programming Languages and Systems","author":"N. Benton","year":"2006","unstructured":"Benton, N., Kennedy, A., Hofmann, M., Beringer, L.: Reading, writing and relations. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol.\u00a04279, pp. 114\u2013130. Springer, Heidelberg (2006)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Gifford, D.K., Lucassen, J.M.: Integrating functional and imperative programming. In: ACM Conference on LISP and Functional Programming (1986)","DOI":"10.1145\/319838.319848"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11538363_8","volume-title":"Computer Science Logic","author":"S.-y. Katsumata","year":"2005","unstructured":"Katsumata, S.-y.: A Semantic Formulation of \u22a4\u2009\u22a4-Lifting and Logical Predicates for Computational Metalanguage. In: Ong, L. (ed.) CSL 2005. LNCS, vol.\u00a03634, pp. 87\u2013102. Springer, Heidelberg (2005)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/S0890-5401(03)00088-9","volume":"185","author":"P.B. Levy","year":"2003","unstructured":"Levy, P.B., Power, J., Thielecke, H.: Modelling environments in call-by-value programming languages. Inf. and Comp.\u00a0185, 182\u2013210 (2003)","journal-title":"Inf. and Comp."},{"key":"2_CR7","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol.\u00a05. Springer, Heidelberg (1998)","edition":"2"},{"issue":"1","key":"2_CR8","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. Information and Computation\u00a093(1), 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"2_CR9","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.\u00a02303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"issue":"3\u20135","key":"2_CR10","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/s001650200014","volume":"13","author":"E. Robinson","year":"2002","unstructured":"Robinson, E.: Variations on algebra: Monadicity and generalisations of equational theories. Formal Asp. Comput.\u00a013(3\u20135), 308\u2013326 (2002)","journal-title":"Formal Asp. Comput."},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-30477-7_8","volume-title":"Programming Languages and Systems","author":"C. Skalka","year":"2004","unstructured":"Skalka, C., Smith, S.: History Effects and Verification. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 107\u2013128. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03741-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T13:57:34Z","timestamp":1552139854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03741-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037405","9783642037412"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03741-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}