{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:43:38Z","timestamp":1743021818816,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148873"},{"type":"electronic","value":"9783642148880"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14888-0_16","type":"book-chapter","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T04:30:35Z","timestamp":1282192235000},"page":"161-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Representing Covert Movements by Delimited Continuations"],"prefix":"10.1007","author":[{"given":"Daisuke","family":"Bekki","sequence":"first","affiliation":[]},{"given":"Kenichi","family":"Asai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,8,19]]},"reference":[{"key":"16_CR1","volume-title":"SALT 11","author":"C. Barker","year":"2001","unstructured":"Barker, C.: Introducing Continuations. In: Hastings, R., Jackson, B., Zvolenszky, Z. (eds.) SALT 11, CLC Publications, Ithaca (2001)"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1022183511876","volume":"10","author":"C. Barker","year":"2002","unstructured":"Barker, C.: Continuations and the Nature of Quantification. Natural Language Semantics\u00a010(3), 211\u2013241 (2002)","journal-title":"Natural Language Semantics"},{"key":"16_CR3","unstructured":"Barker, C.: Continuations in Natural Language. In: H. Thielecke (ed.): the Fourth ACM SIGPLAN Continuations Workshop (CW 2004). Technical Report CSR-04-1, School of Computer Science, University of Birmingham, Birmingham B15 2TT. United Kingdom, pp. 1\u201311 (2004)"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10849-006-0541-6","volume":"15","author":"C. Barker","year":"2006","unstructured":"Barker, C., Shan, C.-c.: Types as Graphs: Continuations in Type Logical Grammar. Journal of Logic, Language and Information\u00a015(4), 331\u2013370 (2006)","journal-title":"Journal of Logic, Language and Information"},{"key":"16_CR5","series-title":"LNAI","first-page":"193","volume-title":"New Frontiers in Artificial Intelligence (JSAI 2008 Conference and Workshops, Asahikawa, Japan, Revised Selected Papers)","author":"D. Bekki","year":"2009","unstructured":"Bekki, D.: Monads and Meta-Lambda Calculus. In: Hattori, H. (ed.) New Frontiers in Artificial Intelligence (JSAI 2008 Conference and Workshops, Asahikawa, Japan, Revised Selected Papers), June 2008. LNCS (LNAI), vol.\u00a05447, pp. 193\u2013208. Springer, Heidelberg (2009)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Danvy, O., Filinski, A.: Abstracting Control. In: LFP 1990, the 1990 ACM Conference on Lisp and Functional Programming, pp. 151\u2013160 (1990)","DOI":"10.1145\/91556.91622"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Danvy, O., Filinski, A.: Representing control. Mathematical Structures in Computer Science\u00a02(4) (1992)","DOI":"10.1017\/S0960129500001535"},{"key":"16_CR8","unstructured":"de Groote, P.: Type raising, continuations, and classical logic. In: van Rooij, R., Stokhof, M. (eds.) The 13th Amsterdam Colloquium. Institute for Logic, Language and Computation, pp. 97\u2013101. Universiteit van Amsterdam (2001)"},{"issue":"6","key":"16_CR9","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1017\/S0956796807006259","volume":"17","author":"R.K. Dybvig","year":"2007","unstructured":"Dybvig, R.K., Peyton-Jones, S., Sabry, A.: A Monadic Framework for Delimited Continuations. Journal of Functional Programming\u00a017(6), 687\u2013730 (2007)","journal-title":"Journal of Functional Programming"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Felleisen, M.: The Theory and Practice of First-Class Prompts. In: 15th ACM Symposium on Principles of Programming Languages, pp. 180\u2013190 (1988)","DOI":"10.1145\/73560.73576"},{"key":"16_CR11","unstructured":"Hayashishita, J.R.: \u2018Syntactic Scope and Non-Syntactic Scope\u2019. In: Doctoral dissertation, University of Southern California (2003)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-94-011-3969-4_8","volume-title":"Events and Grammar","author":"A. Kratzer","year":"1998","unstructured":"Kratzer, A.: Scope or pseudoscope? Are there wide scope indefinites? In: Rothstein, S. (ed.) Events and Grammar, pp. 163\u2013196. Kluwer, Dordrecht (1998)"},{"key":"16_CR13","unstructured":"Otake, R.: Delimited continuation in the grammar of Japanese. Talk presented at Continuation Fest, Tokyo (2008)"},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1515\/9783110852820.361","volume-title":"Meaning, Use and Interpretation of Language","author":"B. Partee","year":"1983","unstructured":"Partee, B., Rooth, M.: Generalized conjunction and type ambiguity. In: Bauerle, R., Schwarze, C., Von Stechow, A. (eds.) Meaning, Use and Interpretation of Language, pp. 361\u2013393. Walter De Gruyter Inc., Berlin (1983)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G.D. Plotkin","year":"1975","unstructured":"Plotkin, G.D.: Call-by-Name, Call-by Value and the Lambda Calculus. Theoretical Computer Science\u00a01, 125\u2013159 (1975)","journal-title":"Theoretical Computer Science"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF02342617","volume":"1","author":"M. Rooth","year":"1992","unstructured":"Rooth, M.: A Theory of Focus Interpretation. Natural Language Semantics\u00a01, 75\u2013116 (1992)","journal-title":"Natural Language Semantics"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Shan, C.-c.: A continuation semantics of interrogatives that accounts for Baker\u2019s ambiguity. In: Jackson, B. (ed.) Semantics and Linguistic Theory XII, Ithaca, pp. 246\u2013265. Cornell University Press (2002)","DOI":"10.3765\/salt.v12i0.2877"},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1093\/oso\/9780199204373.003.0004","volume-title":"Direct compositionality","author":"C.-c. Shan","year":"2007","unstructured":"Shan, C.-c.: Linguistic side effects. In: Barker, C., Jacobson, P. (eds.) Direct compositionality, pp. 132\u2013163. Oxford University Press, Oxford (2007)"},{"issue":"1","key":"16_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10988-005-6580-7","volume":"29","author":"C.-c. Shan","year":"2006","unstructured":"Shan, C.-c., Barker, C.: Explaining Crossover and Superiority as Left-to-right Evaluation. Linguistics and Philosophy\u00a029(1), 91\u2013134 (2006)","journal-title":"Linguistics and Philosophy"},{"key":"16_CR20","series-title":"ACM SIGPLAN Notices","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/155090.155104","volume-title":"The ACM Conference on Programming Language Design and Implementation (PLDI 1993)","author":"D. Sitaram","year":"1993","unstructured":"Sitaram, D.: Handling Control. In: The ACM Conference on Programming Language Design and Implementation (PLDI 1993). ACM SIGPLAN Notices, vol.\u00a028, pp. 147\u2013155. ACM Press, New York (1993)"},{"issue":"1","key":"16_CR21","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF01806126","volume":"3","author":"D. Sitaram","year":"1990","unstructured":"Sitaram, D., Felleisen, M.: Control delimiters and their hierarchies. LISP and Symbolic Computation\u00a03(1), 67\u201399 (1990)","journal-title":"LISP and Symbolic Computation"},{"key":"16_CR22","unstructured":"Stratchey, C., Wadsworth, C.: \u2018Continuations: a mathematical semantics for handling full jumps\u2019. Technical report, Oxford University, Computing Laboratory (1974)"},{"key":"16_CR23","volume-title":"SALT XV","author":"M. Wagner","year":"2006","unstructured":"Wagner, M.: NPI-Licensing and Focus Movement. In: Georgala, E., Howell, J. (eds.) SALT XV, CLC Publications, Ithaca (2006)"},{"key":"16_CR24","volume-title":"Flexibility Principle in Boolean Semantics: coordination, plurality and scope in natural language","author":"Y. Winter","year":"2001","unstructured":"Winter, Y.: Flexibility Principle in Boolean Semantics: coordination, plurality and scope in natural language. MIT Press, Cambridge (2001)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14888-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T18:28:29Z","timestamp":1711736909000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-14888-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148873","9783642148880"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14888-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"19 August 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}