{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:43Z","timestamp":1725485563849},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_24","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:56:45Z","timestamp":1181185005000},"page":"325-340","source":"Crossref","is-referenced-by-count":1,"title":["An Algebraic View of Program Composition"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Cenciarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Jon Beck. Distributive laws. In B. Eckman, editor, Seminar on triples and categorical homology theory, pages 119\u2013140, Berlin, 1969. Springer LNM 80.","DOI":"10.1007\/BFb0083084"},{"key":"24_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, triples and theories","author":"M. Barr","year":"1985","unstructured":"M. Barr and C. Wells. Toposes, triples and theories. Springer-Verlag, New York, 1985."},{"key":"24_CR3","unstructured":"P. Cenciarelli. Computational applications of calculi based on monads. PhD thesis, Department of Computer Science, University of Edinburgh, 1995. CST-127-96. Also available as ECS-LFCS-96-346."},{"key":"24_CR4","volume-title":"The Semantic Challenge of Object-Oriented Programming","author":"P. Cenciarelli","year":"1998","unstructured":"P. Cenciarelli. Objects and computation. Presented at the Dagstuhl seminar on \u201cThe Semantic Challenge of Object-Oriented Programming\u201d, Schloss Dagstuhl, Wadern, Germany, 28\/6-3\/7 1998."},{"key":"24_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Formal Syntax and Semantics of Java","author":"P. Cenciarelli","year":"1998","unstructured":"P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, 1523 LNCS. Springer, 1998."},{"key":"24_CR6","unstructured":"P. Cenciarelli and E. Moggi. A syntactic approach to modularity in denotational semantics. In Proceedings of 5th Biennial Meeting on Category Theory and Computer Science. CTCS-5, 1993. CWI Tech. Report."},{"key":"24_CR7","unstructured":"M.P. Jones and L. Duponcheel. Composing monads. Technical Report YALEU\/DCS\/RR-1004, Department of Computer Science, Jale University, 1993."},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","volume":"89","author":"G.M. Kelly","year":"1993","unstructured":"G.M. Kelly and A.J. Power. Adjunctions whose counits are coequalizers, and presentations of finitary monads. Journal of Pure and Applied Algebra, 89:163\u2013179, 1993.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"F.E.J. Linton. Coequalizers in Categories of Algebras. In Seminar on Triples and Categorical Homology Theory, pages 75\u201390. Springer LNM 80, 1969.","DOI":"10.1007\/BFb0083082"},{"key":"24_CR10","unstructured":"E. Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, University of Edinburgh, Comp. Sci. Dept., 1990."},{"key":"24_CR11","unstructured":"E. Moggi. Modular approach to denotational semantics. Unpublished manuscript, November1990."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"24_CR13","unstructured":"E.P. Robinson. Note on the presentation of enriched monads. Unpublished manuscript, available by ftp from theory.doc.ic.ac.uk, 1995."},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"R. Street","year":"1972","unstructured":"R. Street. The formal theory of monads. Journal of Pure and Applied Algebra, 2:149\u2013168, 1972.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"24_CR15","unstructured":"R.D. Tennent. Semantics of programming languages. Prentice Hall, 1991."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:45:52Z","timestamp":1556480752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}