{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:01Z","timestamp":1750307341996,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T00:00:00Z","timestamp":1311120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,20]]},"DOI":"10.1145\/2003476.2003498","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T12:34:54Z","timestamp":1311165294000},"page":"149-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Typing control operators in the CPS hierarchy"],"prefix":"10.1145","author":[{"given":"Malgorzata","family":"Biernacka","sequence":"first","affiliation":[{"name":"University of Wroclaw, Wroclaw, Poland"}]},{"given":"Dariusz","family":"Biernacki","sequence":"additional","affiliation":[{"name":"University of Wroclaw, Wroclaw, Poland"}]},{"given":"Sergue\u00ef","family":"Lenglet","sequence":"additional","affiliation":[{"name":"University of Wroclaw, Wroclaw, Poland"}]}],"member":"320","published-online":{"date-parts":[[2011,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9007-z"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1784774.1784797"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.090"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599446"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"M. Biernacka D. Biernacki and O. Danvy. An operational foundation for delimited continuations in the CPS hierarchy. Logical Methods in Computer Science 1(2:5):1--39 Nov. 2005. A preliminary version was presented at the Fourth ACM SIGPLAN Workshop on Continuations (CW'04).  M. Biernacka D. Biernacki and O. Danvy. An operational foundation for delimited continuations in the CPS hierarchy. Logical Methods in Computer Science 1(2:5):1--39 Nov. 2005. A preliminary version was presented at the Fourth ACM SIGPLAN Workshop on Continuations (CW'04).","DOI":"10.2168\/LMCS-1(2:5)2005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.028"},{"volume-title":"University of Copenhagen","year":"1989","author":"Danvy O.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_9_1","first-page":"224","volume-title":"Proceedings of the Eighth European Symposium on Programming, number 1576 in Lecture Notes in Computer Science","author":"Danvy O.","year":"1999"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.178047"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292557"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99608"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328484"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9009-x"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480962"},{"volume-title":"Proceedings of the 2008 Workshop on Symmetric Calculi and Ludics for the Semantic Interpretation","year":"2008","author":"Kiselyov O.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_22"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Artificial Intelligence","first-page":"291","volume-title":"6th International and Interdisciplinary Conference, CONTEXT","author":"Kiselyov O.","year":"2007"},{"volume-title":"8th International Conference, TLCA 2007","year":"2007","author":"Kiselyov O.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596627.1596636"},{"volume-title":"Proceedings of the First ACM SIGPLAN Workshop on Continuations (CW'92)","year":"1992","author":"Murthy C. R.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12032-9_26"},{"volume-title":"Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations (CW'04)","year":"2004","author":"Shan C.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271658"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.23"}],"event":{"name":"PPDP '11: Symposium on Principles and Practices of Declarative Programming","sponsor":["University of Southern Denmark","Danish Agency for Science Technology and Innovation DASTI","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Odense Denmark","acronym":"PPDP '11"},"container-title":["Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2003476.2003498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2003476.2003498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:22Z","timestamp":1750244782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2003476.2003498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,20]]},"references-count":27,"alternative-id":["10.1145\/2003476.2003498","10.1145\/2003476"],"URL":"https:\/\/doi.org\/10.1145\/2003476.2003498","relation":{},"subject":[],"published":{"date-parts":[[2011,7,20]]},"assertion":[{"value":"2011-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}