{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T20:32:32Z","timestamp":1791145952074,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642392115","type":"print"},{"value":"9783642392122","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39212-2_35","type":"book-chapter","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T09:09:19Z","timestamp":1372756159000},"page":"385-397","source":"Crossref","is-referenced-by-count":41,"title":["Coeffects: Unified Static Analysis of Context-Dependence"],"prefix":"10.1007","author":[{"given":"Tomas","family":"Petricek","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominic","family":"Orchard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: Proceedings of POPL (1999)","DOI":"10.1145\/292540.292555"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Atkey, R.: Parameterised notions of computation. J. Funct. Program.\u00a019 (2009)","DOI":"10.1017\/S095679680900728X"},{"key":"35_CR3","first-page":"2000","volume":"65","author":"G.M. Bierman","year":"2001","unstructured":"Bierman, G.M., de Paiva, V.C.V.: On an intuitionistic modal logic. Studia Logica\u00a065, 2000 (2001)","journal-title":"Studia Logica"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Filinski, A.: Monads in action. In: Proceedings of POPL (2010)","DOI":"10.1145\/1706299.1706354"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Gifford, D.K., Lucassen, J.M.: Integrating functional and imperative programming. In: Proceedings of Conference on LISP and func. prog., LFP 1986 (1986)","DOI":"10.1145\/319838.319848"},{"key":"35_CR6","unstructured":"Jouvelot, P., Gifford, D.K.: Communication Effects for Message-Based Concurrency. Technical report, Massachusetts Institute of Technology (1989)"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Lewis, J.R., Shields, M.B., Meijert, E., Launchbury, J.: Implicit parameters: dynamic scoping with static types. In: Proceedings of POPL, POPL 2000 (2000)","DOI":"10.1145\/325694.325708"},{"key":"35_CR8","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.\u00a093, 55\u201392 (1991)","journal-title":"Inf. Comput."},{"issue":"3","key":"35_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1352582.1352591","volume":"9","author":"A. Nanevski","year":"2008","unstructured":"Nanevski, A., Pfenning, F., Pientka, B.: Contextual modal type theory. ACM Trans. Comput. Logic\u00a09(3), 23:1\u201323:49 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"4","key":"35_CR10","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1017\/S0956796802004495","volume":"13","author":"P. O\u2019Hearn","year":"2003","unstructured":"O\u2019Hearn, P.: On bunched typing. J. Funct. Program.\u00a013(4), 747\u2013796 (2003)","journal-title":"J. Funct. Program."},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Orchard, D., Mycroft, A.: A Notation for Comonads. In: Post-Proceedings of IFL 2012. LNCS. Springer, Heidelberg (2012) (to appear)","DOI":"10.1007\/978-3-642-41582-1_1"},{"issue":"4","key":"35_CR12","first-page":"511","volume":"11","author":"F. Pfenning","year":"2001","unstructured":"Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Mathematical. Structures in Comp. Sci.\u00a011(4), 511\u2013540 (2001)","journal-title":"Mathematical. Structures in Comp. Sci."},{"key":"35_CR13","unstructured":"Talpin, J., Jouvelot, P.: The type and effect discipline. In: Logic in Computer Science, 1992. LICS, pp. 162\u2013173 (1994)"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.entcs.2008.05.029","volume":"203","author":"T. Uustalu","year":"2008","unstructured":"Uustalu, T., Vene, V.: Comonadic Notions of Computation. Electron. Notes Theor. Comput. Sci.\u00a0203, 263\u2013284 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"35_CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Irvine, C., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur.\u00a04, 167\u2013187 (1996)","journal-title":"J. Comput. Secur."},{"key":"35_CR16","volume-title":"LUCID, the dataflow programming language","author":"W.W. Wadge","year":"1985","unstructured":"Wadge, W.W., Ashcroft, E.A.: LUCID, the dataflow programming language. Academic Press Professional, Inc., San Diego (1985)"},{"key":"35_CR17","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\u00a04, 1\u201332 (2003)","journal-title":"ACM Trans. Comput. Logic"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39212-2_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T16:46:57Z","timestamp":1688316417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39212-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642392115","9783642392122"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39212-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}