{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:03Z","timestamp":1725551943132},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122507"},{"type":"electronic","value":"9783642122514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12251-4_22","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T23:32:42Z","timestamp":1270855962000},"page":"304-320","source":"Crossref","is-referenced-by-count":13,"title":["Delimited Control in OCaml, Abstractly and Concretely: System Description"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Kiselyov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Kiselyov, O.: Native delimited continuations in (byte-code) OCaml (2006), http:\/\/okmij.org\/ftp\/Computation\/Continuations.html#caml-shift"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Shan, C.-c., Sabry, A.: Delimited dynamic binding. In: ICFP, pp. 26\u201337 (2006)","DOI":"10.1145\/1159803.1159808"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-03034-5_17","volume-title":"Domain-Specific Languages","author":"O. Kiselyov","year":"2009","unstructured":"Kiselyov, O., Shan, C.-c.: Embedded probabilistic programming. In: Taha, W.M. (ed.) Domain-Specific Languages. LNCS, vol.\u00a05658, pp. 360\u2013384. Springer, Heidelberg (2009)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Shan, C.-c.: Monolingual probabilistic programming using generalized coroutines. In: Uncertainty in Artificial Intelligence (2009)","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"22_CR5","unstructured":"Kiselyov, O.: Persistent delimited continuations for CGI programming with nested transactions. Continuation Fest 2008 (2008), http:\/\/okmij.org\/ftp\/Computation\/Continuations.html#shift-cgi"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Kameyama, Y., Kiselyov, O., Shan, C.-c.: Shifting the stage: Staging with delimited control. In: PEPM, pp. 111\u2013120 (2009)","DOI":"10.1145\/1480945.1480962"},{"key":"22_CR7","unstructured":"Kiselyov, O., Shan, C.-c.: Lifted inference: Normalizing loops by evaluation. In: Proc. 2009 Workshop on Normalization by Evaluation, BRICS (2009)"},{"key":"22_CR8","unstructured":"Kiselyov, O.: Ask-by-need: On-demand evaluation with effects (2007), http:\/\/okmij.org\/ftp\/Computation\/Continuations.html#ask-by-need"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Gunter, C.A., R\u00e9my, D., Riecke, J.G.: A generalization of exceptions and control in ML-like languages. In: Functional Programming Languages and Computer Architecture, pp. 12\u201323 (1995)","DOI":"10.1145\/224164.224173"},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1017\/S0956796807006259","volume":"17","author":"R.K. Dybvig","year":"2007","unstructured":"Dybvig, R.K., Peyton Jones, S.L., Sabry, A.: A monadic framework for delimited continuations. J. Functional Progr.\u00a017, 687\u2013730 (2007)","journal-title":"J. Functional Progr."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Balat, V., Di Cosmo, R., Fiore, M.P.: Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. In: POPL 2004, pp. 64\u201376 (2004)","DOI":"10.1145\/964001.964007"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Hieb, R., Dybvig, R.K., Bruggeman, C.: Representing control in the presence of first-class continuations. In: PLDI 1990, pp. 66\u201377 (1990)","DOI":"10.1145\/93542.93554"},{"key":"22_CR13","unstructured":"Gunter, C.A., R\u00e9my, D., Riecke, J.G.: Return types for functional continuations (1998), http:\/\/pauillac.inria.fr\/~remy\/work\/cupto\/"},{"key":"22_CR14","unstructured":"Kiselyov, O.: Zipper in Scheme (2004), comp.lang.scheme, http:\/\/okmij.org\/ftp\/Scheme\/zipper-in-scheme.txt"},{"key":"22_CR15","unstructured":"Kiselyov, O.: Zipper as a delimited continuation. Message to the Haskell mailing list (2005), http:\/\/okmij.org\/ftp\/Haskell\/Zipper1.lhs"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Felleisen, M.: The theory and practice of first-class prompts. In: POPL, pp. 180\u2013190 (1988)","DOI":"10.1145\/73560.73576"},{"key":"22_CR17","unstructured":"Leroy, X.: The ZINC experiment: An economical implementation of the ML language. Technical Report 117, INRIA (1990)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Glew, N.: Type dispatch for named hierarchical types. In: ICFP, pp. 172\u2013182 (1999)","DOI":"10.1145\/317636.317797"},{"key":"22_CR19","unstructured":"Leroy, X.: The bytecode interpreter. version 1.96, in OCaml distribution (2006), byterun\/interp.c"},{"key":"22_CR20","unstructured":"Leroy, X.: Ocaml-callcc: call\/cc for ocaml (2005), http:\/\/pauillac.inria.fr\/~xleroy\/software.html#callcc"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Gasbichler, M., Sperber, M.: Final shift for call\/cc: Direct implementation of shift and reset. In: ICFP, pp. 271\u2013282 (2002)","DOI":"10.1145\/583852.581504"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Filinski, A.: Representing monads. In: POPL, pp. 446\u2013457 (1994)","DOI":"10.1145\/174675.178047"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Masuko, M., Asai, K.: Direct implementation of shift and reset in the MinCaml compiler. In: ACM SIGPLAN Workshop on ML (2009)","DOI":"10.1145\/1596627.1596636"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Rompf, T., Maier, I., Odersky, M.: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. In: ICFP, pp. 317\u2013328 (2009)","DOI":"10.1145\/1596550.1596596"},{"key":"22_CR25","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010016816429","volume":"12","author":"W.D. Clinger","year":"1999","unstructured":"Clinger, W.D., Hartheimer, A.H., Ost, E.M.: Implementation strategies for first-class continuations. Higher-Order and Symbolic Computation\u00a012, 7\u201345 (1999)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-45407-1_14","volume-title":"Advances in Exception Handling Techniques","author":"T. Sekiguchi","year":"2001","unstructured":"Sekiguchi, T., Sakamoto, T., Yonezawa, A.: Portable implementation of continuation operators in imperative languages by exception handling. In: Romanovsky, A., Dony, C., Knudsen, J.L., Tripathi, A.R. (eds.) ECOOP-WS 2000. LNCS, vol.\u00a02022, pp. 217\u2013233. Springer, Heidelberg (2001)"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Pettyjohn, G., Clements, J., Marshall, J., Krishnamurthi, S., Felleisen, M.: Continuations from generalized stack inspection. In: ICFP, pp. 216\u2013227 (2005)","DOI":"10.1145\/1086365.1086393"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12251-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T19:11:28Z","timestamp":1685560288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12251-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122507","9783642122514"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12251-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}