{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T12:40:45Z","timestamp":1782132045359,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_7","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T12:05:58Z","timestamp":1238155558000},"page":"80-94","source":"Crossref","is-referenced-by-count":151,"title":["Handlers of Algebraic Effects"],"prefix":"10.1007","author":[{"given":"Gordon","family":"Plotkin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matija","family":"Pretnar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","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":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1017\/S0956796801004099","volume":"11","author":"N. Benton","year":"2001","unstructured":"Benton, N., Kennedy, A.: Exceptional syntax. Journal of Functional Programming\u00a011(4), 395\u2013410 (2001)","journal-title":"Journal of Functional Programming"},{"key":"7_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97005-4","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1987","unstructured":"Clocksin, W.F., Mellish, C.: Programming in Prolog, 3rd edn. Springer, Heidelberg (1987)","edition":"3"},{"key":"7_CR4","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"2000","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, London (2000)","edition":"2"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Filinski, A.: Representing layered monads. In: 26th Symposium on Principles of Programming Languages, pp. 175\u2013188 (1999)","DOI":"10.1145\/292540.292557"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. In: PLDI, pp. 237\u2013247 (1993)","DOI":"10.1145\/155090.155113"},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G.A. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G.A.: Universal Algebra, 2nd edn. Springer, Heidelberg (1979)","edition":"2"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"Journal of the ACM"},{"issue":"1-3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.tcs.2006.12.026","volume":"375","author":"M. Hyland","year":"2007","unstructured":"Hyland, M., Levy, P.B., Plotkin, G.D., Power, A.J.: Combining algebraic effects with continuations. Theoretical Computer Science\u00a0375(1-3), 20\u201340 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"1-3","key":"7_CR10","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, A.J.: Combining effects: Sum and tensor. Theoretical Computer Science\u00a0357(1-3), 70\u201399 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"7_CR11","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10990-006-0480-6","volume":"19","author":"P.B. Levy","year":"2006","unstructured":"Levy, P.B.: Call-by-push-value: Decomposing call-by-value and call-by-name. Higher-Order and Symbolic Computation\u00a019(4), 377\u2013414 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.entcs.2006.04.014","volume":"158","author":"P.B. Levy","year":"2006","unstructured":"Levy, P.B.: Monads and adjunctions for global exceptions. Electronic Notes in Theoretical Computer Science\u00a0158, 261\u2013287 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: 4th Symposium on Logic in Computer Science, pp. 14\u201323 (1989)","DOI":"10.1109\/LICS.1989.39155"},{"issue":"1","key":"7_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. Information And Computation\u00a093(1), 55\u201392 (1991)","journal-title":"Information And Computation"},{"issue":"1","key":"7_CR16","first-page":"255","volume":"13","author":"S.L. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S.L.: Haskell 98. Journal of Functional Programming\u00a013(1), 255 (2003)","journal-title":"Journal of Functional Programming"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11780274_8","volume-title":"Algebra, Meaning, and Computation","author":"G.D. Plotkin","year":"2006","unstructured":"Plotkin, G.D.: Some varieties of equational logic. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 150\u2013156. Springer, Heidelberg (2006)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45315-6_1","volume-title":"Foundations of Software Science and Computation Structures","author":"G.D. Plotkin","year":"2001","unstructured":"Plotkin, G.D., Power, A.J.: Adequacy for algebraic effects. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 1\u201324. Springer, Heidelberg (2001)"},{"key":"7_CR19","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.D. Plotkin","year":"2002","unstructured":"Plotkin, G.D., Power, A.J.: Notions of computation determine monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1023064908962","volume":"11","author":"G.D. Plotkin","year":"2003","unstructured":"Plotkin, G.D., Power, A.J.: Algebraic operations and generic effects. Applied Categorical Structures\u00a011(1), 69\u201394 (2003)","journal-title":"Applied Categorical Structures"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.entcs.2004.08.008","volume":"73","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D., Power, A.J.: Computational effects and operations: An overview. Electronic Notes in Theoretical Computer Science\u00a073, 149\u2013163 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Pretnar, M.: A logic for algebraic effects. In: 23rd Symposium on Logic in Computer Science, pp. 118\u2013129 (2008)","DOI":"10.1109\/LICS.2008.45"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2006.04.025","volume":"161","author":"A.J. Power","year":"2006","unstructured":"Power, A.J.: Countable Lawvere theories and computational effects. Electronic Notes in Theoretical Computer Science\u00a0161, 59\u201371 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T17:08:23Z","timestamp":1684948103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}