{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T19:33:45Z","timestamp":1794512025816,"version":"4.9.1"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319278094","type":"print"},{"value":"9783319278100","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,12,25]],"date-time":"2015-12-25T00:00:00Z","timestamp":1451001600000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-27810-0_1","type":"book-chapter","created":{"date-parts":[[2015,12,24]],"date-time":"2015-12-24T02:38:33Z","timestamp":1450924713000},"page":"1-32","source":"Crossref","is-referenced-by-count":16,"title":["Effect Systems Revisited\u2014Control-Flow Algebra and Semantics"],"prefix":"10.1007","author":[{"given":"Alan","family":"Mycroft","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominic","family":"Orchard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tomas","family":"Petricek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Aaron, S., Orchard, D., Blackwell, A.F.: Temporal semantics for a live coding language. In: Proceeding 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, pp. 37\u201347. ACM (2014)","DOI":"10.1145\/2633638.2633648"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Amtoft, T., Nielson, F., Nielson, H.: Type and Effect Systems Behaviours for Concurrency. Imperial College Press (1999)","DOI":"10.1142\/9781848160514"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Atkey, R.: Parameterised notions of computation. Cambridge University Press. In: Proceedings of MSFP (2006)","DOI":"10.14236\/ewic\/MSFP2006.5"},{"key":"1_CR4","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.O., Beringer, L.: Reading, writing and relations. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol. 4279, pp. 114\u2013130. Springer, Heidelberg (2006)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-642-54833-8_19","volume-title":"Programming Languages and Systems","author":"A Brunel","year":"2014","unstructured":"Brunel, A., Gaboardi, M., Mazza, D., Zdancewic, S.: A core quantitative coeffect calculus. In: Shao, Z. (ed.) ESOP 2014 (ETAPS). LNCS, vol. 8410, pp. 351\u2013370. Springer, Heidelberg (2014)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL, pp. 238\u2013252. ACM (1977)","DOI":"10.1145\/512950.512973"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proceedings of PLDI 2003. ACM (2003)","DOI":"10.1145\/781131.781169"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-54833-8_18","volume-title":"Programming Languages and Systems","author":"DR Ghica","year":"2014","unstructured":"Ghica, D.R., Smith, A.I.: Bounded linear types in a resource semiring. In: Shao, Z. (ed.) ESOP 2014 (ETAPS). LNCS, vol. 8410, pp. 331\u2013350. Springer, Heidelberg (2014)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Gifford, D.K., Lucassen, J.M.: Integrating functional and imperative programming. In: Proceedings of Conference on LISP and Functional Programming, LFP 1986 (1986)","DOI":"10.1145\/319838.319848"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-03741-2_3","volume-title":"Algebra and Coalgebra in Computer Science","author":"S Goncharov","year":"2009","unstructured":"Goncharov, S., Schr\u00f6der, L., Mossakowski, T.: Kleene monads: handling iteration in a framework of generic effects. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"1_CR12","unstructured":"Jouvelot, P., Gifford, D.K.: Communication Effects for Message-Based Concurrency. Technical report, Massachusetts Institute of Technology (1989)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Jouvelot, P., Gifford, D.K.: Reasoning about continuations with control effects. In: Proceedings of PLDI 1989. ACM (1989)","DOI":"10.1145\/73141.74837"},{"key":"1_CR14","unstructured":"Kammar, O.: Algebraic theory of type-and-effect systems, Ph.D. dissertation. The University of Edinburgh (2014)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Kammar, O., Plotkin, G.D.: Algebraic foundations for effect-dependent optimisations. In: Proceedings of POPL 2012, pp. 349\u2013360. ACM (2012)","DOI":"10.1145\/2103621.2103698"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Katsumata, S.: Parametric effect monads and semantics of effect systems. In: Proceedings of POPL 2014, pp. 633\u2013645. ACM (2014)","DOI":"10.1145\/2535838.2535846"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Shan, C.C., Friedman, D.P., Sabry, A.: Backtracking, interleaving, and terminating monad transformers (functional pearl). In: Proceedings of ICFP 2005, pp. 192\u2013203. ACM (2005)","DOI":"10.1145\/1090189.1086390"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 47\u201357. ACM (1988)","DOI":"10.1145\/73560.73564"},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1145\/2499368.2451167","volume":"48","author":"A Madhavapeddy","year":"2013","unstructured":"Madhavapeddy, A., Mortier, R., Rotsos, C., Scott, D., Singh, B., Gazagnaire, T., Smith, S., Hand, S., Crowcroft, J.: Unikernels: library operating systems for the cloud. SIGPLAN Not. 48(4), 461\u2013472 (2013)","journal-title":"SIGPLAN Not."},{"key":"1_CR20","unstructured":"Mellies, P.A.: Parametric monads and enriched adjunctions (2012) http:\/\/www.pps.univ-paris-diderot.fr\/mellies\/tensorial-logic.html"},{"key":"1_CR21","unstructured":"Milius, S., Pattinson, D., Schr\u00f6der, L.: Generic trace semantics and graded monads. In: Proceedings of 6th International Conference in Algebra and Coalgebra in Computer Science (2015)"},{"key":"1_CR22","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency, vol. 84. Prentice Hall, New York (1989)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: Fourth Annual Symposium on Logic in Computer Science, pp. 14\u201323. IEEE (1989)","DOI":"10.1109\/LICS.1989.39155"},{"issue":"1","key":"1_CR24","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. Inf. Comput. 93(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-62503-8_1","volume-title":"Analysis and Verification of Multiple-Agent Languages","author":"F Nielson","year":"1997","unstructured":"Nielson, F., Cousot, P., Dam, M., Degan, P., Jouvelot, P., Mycroft, A., Thomsen, B.: Logical and operational methods in the analysis of programs and systems. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol. 1192, pp. 1\u201312. Springer, Heidelberg (1997)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-48092-7_6","volume-title":"Correct System Design","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Riis Nielson, H.: Type and Effect Systems. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 114\u2013136. Springer, Heidelberg (1999)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Orchard, D., Petricek, T.: Embedding effect systems in Haskell. In: Proceedings of ACM SIGPLAN symposium on Haskell, pp. 13\u201324. ACM (2014)","DOI":"10.1145\/2775050.2633368"},{"key":"1_CR28","unstructured":"Orchard, D.A., Petricek, T., Mycroft, A.: The semantic marriage of monads and effects. CoRR, abs\/1401.5391 (2014)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Petricek, T., Mycroft, A., Syme, D.: Extending monads with pattern matching. In: Proceedings of Haskell Symposium, Haskell (2011)","DOI":"10.1145\/2034675.2034677"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-642-39212-2_35","volume-title":"Automata, Languages, and Programming","author":"T Petricek","year":"2013","unstructured":"Petricek, T., Orchard, D., Mycroft, A.: Coeffects: unified static analysis of context-dependence. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 385\u2013397. Springer, Heidelberg (2013)"},{"issue":"9","key":"1_CR31","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/2692915.2628160","volume":"49","author":"Tomas Petricek","year":"2014","unstructured":"Petricek, T., Orchard, D., Mycroft, A.: Coeffects: a calculus of context-dependent computation. In: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, pp. 123\u2013135. ACM (2014)","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-18378-2_17","volume-title":"Practical Aspects of Declarative Languages","author":"T Petricek","year":"2011","unstructured":"Petricek, T., Syme, D.: Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol. 6539, pp. 205\u2013219. Springer, Heidelberg (2011)"},{"key":"1_CR33","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. 2303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Plotkin, G., Pretnar, M.: A logic for algebraic effects. In: Logic in Computer Science, LICS 2008, pp. 118\u2013129. IEEE (2008)","DOI":"10.1109\/LICS.2008.45"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Rivas, E., Jaskelioff, M., Schrijvers, T.: From monoids to near-semirings: the essence of monadplus and alternative. In: Proceeding of International Symposium on Principles and Practice of Declarative Programming, pp. 196\u2013207. ACM (2015)","DOI":"10.1145\/2790449.2790514"},{"issue":"3","key":"1_CR36","doi-asserted-by":"publisher","first-page":"3032","DOI":"10.1007\/s10958-008-9013-7","volume":"151","author":"AL Smirnov","year":"2008","unstructured":"Smirnov, A.L.: Graded monads and rings of polynomials. J. Math. Sci. 151(3), 3032\u20133051 (2008)","journal-title":"J. Math. Sci."},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Talpin, J.P., Jouvelot, P.: The type and effect discipline. In: Logic in Computer Science, LICS 1992, pp. 162\u2013173. IEEE (1992)","DOI":"10.1109\/LICS.1992.185530"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Vouillon, J.: Lwt: a cooperative thread library. In: Proceedings of ACM SIGPLAN Workshop on ML, pp. 3\u201312. ACM, New York (2008)","DOI":"10.1145\/1411304.1411307"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/601775.601776","volume":"4","author":"P Wadler","year":"2003","unstructured":"Wadler, P., Thiemann, P.: The marriage of effects and monads. ACM Trans. Comput. Logic 4, 1\u201332 (2003)","journal-title":"ACM Trans. Comput. Logic"}],"container-title":["Lecture Notes in Computer Science","Semantics, Logics, and Calculi"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27810-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T18:50:44Z","timestamp":1748717444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27810-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,25]]},"ISBN":["9783319278094","9783319278100"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27810-0_1","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-27810-0","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,25]]}}}