{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:29:40Z","timestamp":1767929380486,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642005893","type":"print"},{"value":"9783642005909","type":"electronic"}],"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-00590-9_6","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T08:05:58Z","timestamp":1238141158000},"page":"64-79","source":"Crossref","is-referenced-by-count":18,"title":["Modular Monad Transformers"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Jaskelioff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"117","volume-title":"Handbook of Logic in Computer Science","author":"H. Barendregt","year":"1992","unstructured":"Barendregt, H.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, pp. 117\u2013309. Oxford University Press, Oxford (1992)"},{"key":"6_CR2","series-title":"Grundlehren der mathematischen Wissenschaften","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1985","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Grundlehren der mathematischen Wissenschaften, vol.\u00a0278. Springer, New York (1985)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/3-540-45699-6_2","volume-title":"Applied Semantics","author":"N. Benton","year":"2002","unstructured":"Benton, N., Hughes, J., Moggi, E.: Monads and effects. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 42\u2013122. Springer, Heidelberg (2002)"},{"issue":"2\/3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.P.: The calculus of constructions. Inf. Comput.\u00a076(2\/3), 95\u2013120 (1988)","journal-title":"Inf. Comput."},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-63172-0_39","volume-title":"Computer Science Logic","author":"N. Ghani","year":"1997","unstructured":"Ghani, N.: Eta-expansions in F-omega. In: van Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol.\u00a01258, pp. 182\u2013197. Springer, Heidelberg (1997)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Harper, R., Mitchell, J.C., Moggi, E.: Higher-order modules and the phase distinction. In: POPL, pp. 341\u2013354 (1990)","DOI":"10.1145\/96709.96744"},{"issue":"1-3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.tcs.2006.03.013","volume":"357","author":"M. Hyland","year":"2006","unstructured":"Hyland, M., Plotkin, G.D., Power, J.: Combining effects: Sum and tensor. Theor. Comput. Sci.\u00a0357(1-3), 70\u201399 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR8","unstructured":"Jaskelioff, M.: Monatron: an extensible monad transformer library (submitted for publication) (2008), http:\/\/www.cs.nott.ac.uk\/~mjj\/pubs\/monatron.pdf"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: POPL, pp. 71\u201384 (1993)","DOI":"10.1145\/158511.158524"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: POPL, pp. 333\u2013343 (1995)","DOI":"10.1145\/199448.199528"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"L\u00fcth, C., Ghani, N.: Composing monads using coproducts. In: ICFP, pp. 133\u2013144 (2002)","DOI":"10.1145\/583852.581492"},{"key":"6_CR12","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol.\u00a05. Springer, Heidelberg (1971)"},{"key":"6_CR13","first-page":"14","volume-title":"LICS","author":"E. Moggi","year":"1989","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: LICS, pp. 14\u201323. IEEE Computer Society, Los Alamitos (1989)"},{"issue":"1","key":"6_CR14","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":"6_CR15","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Metalanguages and applications. In: Semantics and Logics of Computation. Publications of the Newton Institute. CUP (1997)","DOI":"10.1017\/CBO9780511526619.006"},{"key":"6_CR16","volume-title":"Basic Category Theory for Computer Scientists (Foundations of Computing)","author":"B.C. Pierce","year":"1991","unstructured":"Pierce, B.C.: Basic Category Theory for Computer Scientists (Foundations of Computing). MIT Press, Cambridge (1991)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Power, J.: Semantics for algebraic operations. In: ENTCS, vol.\u00a045 (2001)","DOI":"10.1016\/S1571-0661(04)80970-8"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1993.1037","volume":"105","author":"J.C. Reynolds","year":"1993","unstructured":"Reynolds, J.C., Plotkin, G.D.: On functors expressible in the polymorphic typed lambda calculus. Inf. Comput.\u00a0105(1), 1\u201329 (1993)","journal-title":"Inf. Comput."},{"issue":"4","key":"6_CR19","first-page":"461","volume":"2","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: Comprehending monads. MSCS\u00a02(4), 461\u2013493 (1992)","journal-title":"MSCS"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: POPL, pp. 1\u201314 (1992)","DOI":"10.1145\/143165.143169"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00590-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T00:23:46Z","timestamp":1558225426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}