{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:39Z","timestamp":1725492699710},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433637"},{"type":"electronic","value":"9783540459279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_10","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T05:39:04Z","timestamp":1192772344000},"page":"133-146","source":"Crossref","is-referenced-by-count":3,"title":["Exceptions, Continuations and Macro-expressiveness"],"prefix":"10.1007","author":[{"given":"James","family":"Laird","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(91)90036-W","volume":"17","author":"M. Felleisen","year":"1991","unstructured":"Matthias Felleisen. On the expressive power of programming languages. In Science of Computer Programming, volume 17, pages 35\u201375, 1991.","journal-title":"Science of Computer Programming"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(87)90109-5","volume":"52","author":"M. Felleisen","year":"1987","unstructured":"Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, and Bruce Duba. A syntactic theory of sequential control. Theoretical Computer Science, 52:205\u2013207, 1987.","journal-title":"Theoretical Computer Science"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"C. Gunter, D. R\u00e9my, and J. Riecke. A generalization of exceptions and control in ML like languages. In Proceedings of the ACM Conference on Functional Programming and Computer Architecture, pages 12\u201323, 1995.","DOI":"10.1145\/224164.224173"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"J. Laird. Full abstraction for functional languages with control. In Proceedings of the Twelfth International Symposium on Logic In Computer Science, LICS\u2019 97. IEEE Computer Society Press, 1997.","DOI":"10.1109\/LICS.1997.614931"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"J. Laird. A fully abstract game semantics of local exceptions. In Proceedings of the Sixteenth International Symposium on Logic In Computer Science, LICS\u2019 01. IEEE Computer Society Press, 2001.","DOI":"10.1109\/LICS.2001.932487"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1023\/A:1010020917337","volume":"12","author":"M. Lillibridge","year":"1999","unstructured":"M. Lillibridge. Unchecked exceptions can be strictly more powerful than Call\/CC. Higher-Order and Symbolic Computation, 12(1):75\u2013104, 1999.","journal-title":"Higher-Order and Symbolic Computation"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"J. Mitchell. On abstraction and the expressive power of programming languages. In Proc. Theor. Aspects of Computer Software, pages 290\u2013310, 1991.","DOI":"10.1007\/3-540-54415-1_51"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"C.-H. L. Ong and C. Stewart. A Curry-Howard foundation for functional computation with control. In Proceedings of ACM SIGPLAN-SIGACT syposium on Principles of Programming Languages, Paris, January 1997. ACM press, 1997.","DOI":"10.1145\/263699.263722"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"M. Parigot. \u03bb\u03bc calculus: an algorithmic interpretation of classical natural deduction. In Proc. International Conference on Logic Programming and Automated Reasoning, pages 190\u2013201. Springer, 1992.","DOI":"10.1007\/BFb0013061"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"J. Reynolds. Theories of Programming Languages. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511626364"},{"key":"10_CR11","unstructured":"Jon G. Riecke. The Logic and Expressibility of Simply-Typed Call-by-Value and Lazy Languages. PhD thesis, Massachusetts Institute of Technology, 1991. Available as technical report MIT\/LCS\/TR-523 (MIT Laboratory for Computer Science)."},{"key":"10_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1007\/3-540-48523-6_60","volume-title":"Typed exceptions and continuations cannot macroexpress each other","author":"J. Riecke","year":"1999","unstructured":"J. Riecke and H. Thielecke. Typed exceptions and continuations cannot macroexpress each other. In J. Wiedermann, P. van Emde Boas and M. Nielsen, editor, Proceedings of ICALP\u2019 99, volume 1644 of LNCS, pages 635\u2013644. Springer, 1999."},{"issue":"3\/4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01019462","volume":"6","author":"A. Sabry","year":"1993","unstructured":"A. Sabry and M. Felleisen. Reasoning about programs in continuation-passing style. LISP and Symbolic Computation, 6(3\/4):289\u2013360, 1993.","journal-title":"LISP and Symbolic Computation"},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","volume-title":"On exceptions versus continuations in the presence of state","author":"H. Thielecke","year":"2000","unstructured":"H. Thielecke. On exceptions versus continuations in the presence of state. In Proceedings of ESOP 2000, volume 1782 of LNCS. Springer, 2000."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:29:03Z","timestamp":1556904543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}