{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:41:14Z","timestamp":1725842474049},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319265285"},{"type":"electronic","value":"9783319265292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26529-2_11","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T12:23:39Z","timestamp":1449663819000},"page":"189-207","source":"Crossref","is-referenced-by-count":1,"title":["Shifting the Blame"],"prefix":"10.1007","author":[{"given":"Taro","family":"Sekiyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soichiro","family":"Ueda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/1925844.1926409","volume":"46","author":"Amal Ahmed","year":"2011","unstructured":"Ahmed, A., Findler, R.B., Siek, J.G., Wadler, P.: Blame for all. In: Proceedings of ACM POPL, pp. 201\u2013214 (2011)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-76637-7_16","volume-title":"Programming Languages and Systems","author":"K Asai","year":"2007","unstructured":"Asai, K., Kameyama, Y.: Polymorphic delimited continuations. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 239\u2013254. Springer, Heidelberg (2007)"},{"key":"11_CR3","unstructured":"Asai, K., Kameyama, Y.: Polymorphic delimited continuations. CS-TR-07-10, Department of Computer Science, University of Tsukuba (2007)"},{"key":"11_CR4","unstructured":"Bonnaire-Sargeant, A., Davies, R., Tobin-Hochstadt, S.: Practical optional types for Clojure (unpublishded draft)"},{"key":"11_CR5","unstructured":"Danvy, O., Filinski, A.: A functional abstraction of typed contexts. 89\/12, DIKU, University of Copenhagen (1989)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Danvy, O., Filinski, A.: Abstracting control. In: LISP and Functional Programming, pp. 151\u2013160 (1990)","DOI":"10.1145\/91556.91622"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Dariusz Biernacki, O.D., Millikin, K.: A dynamic continuation-passing style for dynamic delimited continuations. Research Series RS-06-15, BRICS, DAIMI (2006)","DOI":"10.7146\/brics.v13i15.21920"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-28869-2_11","volume-title":"Programming Languages and Systems","author":"C Dimoulas","year":"2012","unstructured":"Dimoulas, C., Tobin-Hochstadt, S., Felleisen, M.: Complete monitors for behavioral contracts. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 214\u2013233. Springer, Heidelberg (2012)"},{"issue":"6","key":"11_CR9","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1017\/S0956796807006259","volume":"17","author":"RK Dybvig","year":"2007","unstructured":"Dybvig, R.K., Jones, S.L.P., Sabry, A.: A monadic framework for delimited continuations. J. Funct. Program. 17(6), 687\u2013730 (2007)","journal-title":"J. Funct. Program."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Felleisen, M.: The theory and practice of first-class prompts. In: Proceedings of ACM POPL, pp. 180\u2013190 (1988)","DOI":"10.1145\/73560.73576"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theoret. Comput. Sci. 103(2), 235\u2013271 (1992)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Filinski, A.: Representing monads. In: Proceedings of ACM POPL, pp. 446\u2013457 (1994)","DOI":"10.1145\/174675.178047"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: Proceedings of ACM ICFP, pp. 48\u201359 (2002)","DOI":"10.1145\/581478.581484"},{"issue":"1","key":"11_CR14","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/1111320.1111059","volume":"41","author":"Cormac Flanagan","year":"2006","unstructured":"Flanagan, C.: Hybrid type checking. In: Proceedings of ACM POPL, pp. 245\u2013256 (2006)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Flatt, M., Yu, G., Findler, R.B., Felleisen, M.: Adding delimited and composable control to a production programming environment. In: Proceedings of ACM ICFP, pp. 165\u2013176 (2007)","DOI":"10.1145\/1291151.1291178"},{"key":"11_CR16","unstructured":"Herman, D., Tomb, A., Flanagan, C.: Space-efficient gradual typing. In: Trends in Functional Programming (2007)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Kameyama, Y., Kiselyov, O., Shan, C.: Shifting the stage: staging with delimited control. In: Proceedings of ACM PEPM, pp. 111\u2013120 (2009)","DOI":"10.1145\/1480945.1480962"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-78969-7_18","volume-title":"Functional and Logic Programming","author":"Y Kameyama","year":"2008","unstructured":"Kameyama, Y., Yonezawa, T.: Typed dynamic control operators for delimited continuations. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 239\u2013254. Springer, Heidelberg (2008)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proceedings of ACM Annual Conference, pp. 717\u2013740 (1972)","DOI":"10.1145\/800194.805852"},{"issue":"3\u20134","key":"11_CR20","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01019462","volume":"6","author":"A Sabry","year":"1993","unstructured":"Sabry, A., Felleisen, M.: Reasoning about programs in continuation-passing style. Lisp Symbolic Comput. 6(3\u20134), 289\u2013360 (1993)","journal-title":"Lisp Symbolic Comput."},{"key":"11_CR21","unstructured":"Shan, C.: Shift to control. In: Scheme and Functional Programming Workshop, pp. 99\u2013107 (2004)"},{"key":"11_CR22","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Scheme and Functional Programming Workshop, pp. 81\u201392 (2006)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-73589-2_2","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"JG Siek","year":"2007","unstructured":"Siek, J.G., Taha, W.: Gradual typing for objects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 2\u201327. Springer, Heidelberg (2007)"},{"issue":"1","key":"11_CR24","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/1707801.1706342","volume":"45","author":"Jeremy G. Siek","year":"2010","unstructured":"Siek, J.G., Wadler, P.: Threesomes, with and without blame. In: Proceedings of ACM POPL, pp. 365\u2013376 (2010)","journal-title":"ACM SIGPLAN Notices"},{"issue":"6","key":"11_CR25","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/173262.155104","volume":"28","author":"Dorai Sitaram","year":"1993","unstructured":"Sitaram, D.: Handling control. In: Proceedings of ACM PLDI, pp. 147\u2013155 (1993)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-37036-6_14","volume-title":"Programming Languages and Systems","author":"A Takikawa","year":"2013","unstructured":"Takikawa, A., Strickland, T.S., Tobin-Hochstadt, S.: Constraining delimited control with contracts. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 229\u2013248. Springer, Heidelberg (2013)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Interlanguage migration: from scripts to programs. In: Dynamic Language Symposium, pp. 964\u2013974 (2006)","DOI":"10.1145\/1176617.1176755"},{"issue":"1","key":"11_CR28","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1145\/1328897.1328486","volume":"43","author":"Sam Tobin-Hochstadt","year":"2008","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of typed scheme. In: Proceedings of ACM POPL, pp. 395\u2013406 (2008)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Vitousek, M.M., Kent, A.M., Siek, J.G., Baker, J.: Design and evaluation of gradual typing for Python. In: Dynamic Language Symposium, pp. 45\u201356 (2014)","DOI":"10.1145\/2661088.2661101"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00590-9_1","volume-title":"Programming Languages and Systems","author":"P Wadler","year":"2009","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 1\u201316. Springer, Heidelberg (2009)"},{"issue":"1","key":"11_CR31","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"AK Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput. 115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."}],"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-319-26529-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T03:07:52Z","timestamp":1692155272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26529-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319265285","9783319265292"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26529-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}