{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:10Z","timestamp":1725486250735},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433811"},{"type":"electronic","value":"9783540459880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45988-x_3","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T22:19:02Z","timestamp":1181168342000},"page":"18-32","source":"Crossref","is-referenced-by-count":3,"title":["Monads and Modularity"],"prefix":"10.1007","author":[{"given":"Christoph","family":"L\u00fcth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Ghani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"3_CR1","unstructured":"Haskell 98: A non-strict, purely functional language. Available at http:\/\/www.haskell.org , January 1999."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"J. Adamek and J. Rosick\u00fd. Locally Presentable and Accessible Categories. LMS Lecture Notes 189, Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511600579"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1016\/0021-8693(83)90197-7","volume":"81","author":"E. J. Dubuc","year":"1983","unstructured":"E. J. Dubuc and G. M. Kelly. A presentation of topoi as algebraic relative to categories or graphs. Journal for Algebra, 81:420\u2013433, 1983.","journal-title":"Journal for Algebra"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"M. Fiore, G. Plotkin, and D. Turi. Abstract syntax and variable binding. In Proc. LICS\u201999, pages 193\u2013202. IEEE Computer Society Press, 1999.","DOI":"10.1109\/LICS.1999.782615"},{"key":"3_CR5","first-page":"1","volume":"44","author":"N. Ghani","year":"2001","unstructured":"N. Ghani, C. L\u00fcth, F. de Marchi, and J. Power. Algebras, coalgebras, monads and comonads. Proc. CMCS\u201901, ENTCS 44:1, 2001.","journal-title":"Algebras, coalgebras, monads and comonads"},{"key":"3_CR6","unstructured":"M. Jones and L. Duponcheel. Composing monads. Technical Report YALEU\/DCS\/RR-1004, Yale University, Dept. Comp. Sci, Dec 1993."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0004972700006353","volume":"22","author":"G. M. Kelly","year":"1980","unstructured":"G. M. Kelly. A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves and so on. Bulletins of the Australian Mathematical Society, 22:1\u201383, 1980.","journal-title":"Bulletins of the Australian Mathematical Society"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"D. King and P. Wadler. Combining monads. In J. Launchbury and P.M. Samson, eds., Functional Programming, Workshops in Computing, 1993.","DOI":"10.1007\/978-1-4471-3215-8_12"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In Proc. of the 22nd ACM Symposium on Principles of Programming Languages. ACM Press, Jan 1995.","DOI":"10.1145\/199448.199528"},{"key":"3_CR10","unstructured":"C. L\u00fcth. Categorical Term Rewriting: Monads and Modularity. PhD thesis, University of Edinburgh, 1998."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"C. L\u00fcth and N. Ghani. Monads and modular term rewriting. In CTCS\u201997, LNAI 1290, pages 69\u201386. Springer, Sep 1997.","DOI":"10.1007\/BFb0026982"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician, Graduate Texts in Mathematics 5. Springer, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"E. Moggi. Computational lambda-calculus and monads. In Proc. LICS\u201989. IEEE, Computer Society Press, June 1989.","DOI":"10.1109\/LICS.1989.39155"},{"key":"3_CR14","unstructured":"E. Moggi. An abstract view of programming languages. Technical Report ECSLFCS-90-113, LFCS, 1990."},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0020-0190(87)90039-1","volume":"26","author":"M. Rusinowitch","year":"1987","unstructured":"M. Rusinowitch. On the termination of the direct sum of term-rewriting systems. Information Processing Letters, 26(2):65\u201370, 1987.","journal-title":"Information Processing Letters"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"D. T. Sannella and R. M. Burstall. Structured theories in LCF. In 8 th Colloquium on Trees in Algebra and Programming, LNAI 159, pages 377\u2013391. Springer, 1983.","DOI":"10.1007\/3-540-12727-5_24"},{"issue":"2\/3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. T. Sannella","year":"1988","unstructured":"D. T. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76(2\/3):165\u2013210, Feb\/Mar 1988.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45988-X_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:43:33Z","timestamp":1556466213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45988-X_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433811","9783540459880"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45988-x_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}