乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T21:49:56Z","timestamp":1723758596092},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523710","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A typed continuation-passing translation for lexical effect handlers"],"prefix":"10.1145","author":[{"given":"Philipp","family":"Schuster","sequence":"first","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]},{"given":"Jonathan Immanuel","family":"Brachth\u00e4user","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]},{"given":"Marius","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Coq\u2019Art:The Calculus of Inductive Constructions","author":"Bertot Yves","unstructured":"Yves Bertot and Pierre Cast\u00e9ran . 2004. Interactive Theorem Proving and Program Development , Coq\u2019Art:The Calculus of Inductive Constructions . Springer-Verlag . Yves Bertot and Pierre Cast\u00e9ran. 2004. Interactive Theorem Proving and Program Development, Coq\u2019Art:The Calculus of Inductive Constructions. Springer-Verlag."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371116"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136000.3136007"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276481"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428194"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000027"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236762"},{"key":"e_1_3_2_1_8_1","unstructured":"Olivier Danvy. 2004. On Evaluation Contexts Continuations and the Rest of Computation. 02. Olivier Danvy. 2004. On Evaluation Contexts Continuations and the Rest of Computation. 02."},{"key":"e_1_3_2_1_9_1","volume-title":"Abstracting Control. In Proceedings of the Conference on LISP and Functional Programming. ACM","author":"Danvy Olivier","year":"1990","unstructured":"Olivier Danvy and Andrzej Filinski . 1990 . Abstracting Control. In Proceedings of the Conference on LISP and Functional Programming. ACM , New York, NY, USA. 151\u2013160. Olivier Danvy and Andrzej Filinski. 1990. Abstracting Control. In Proceedings of the Conference on LISP and Functional Programming. ACM, New York, NY, USA. 151\u2013160."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434314"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006259"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016867"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_14_1","volume-title":"Formal Structures for Computation and Deduction (LIPIcs","author":"Hillerstr\u00f6m Daniel","year":"2017","unstructured":"Daniel Hillerstr\u00f6m , Sam Lindley , Bob Atkey , and KC Sivaramakrishnan . 2017 . Continuation Passing Style for Effect Handlers . In Formal Structures for Computation and Deduction (LIPIcs , Vol. 84). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik. Daniel Hillerstr\u00f6m, Sam Lindley, Bob Atkey, and KC Sivaramakrishnan. 2017. Continuation Passing Style for Effect Handlers. In Formal Structures for Computation and Deduction (LIPIcs, Vol. 84). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000040"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485479"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.02.025"},{"key":"e_1_3_2_1_18_1","volume-title":"ML Workshop.","author":"Kiselyov Oleg","year":"2016","unstructured":"Oleg Kiselyov and KC Sivaramakrishnan . 2016 . Eff directly in OCaml . In ML Workshop. Oleg Kiselyov and KC Sivaramakrishnan. 2016. Eff directly in OCaml. In ML Workshop."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009872"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00088-9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_22_1","volume-title":"Plotkin and Matija Pretnar","author":"Gordon","year":"2013","unstructured":"Gordon D. Plotkin and Matija Pretnar . 2013 . Handling Algebraic Effects. Logical Methods in Computer Science , 9, 4 (2013). Gordon D. Plotkin and Matija Pretnar. 2013. Handling Algebraic Effects. Logical Methods in Computer Science, 9, 4 (2013)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.12.003"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_25_1","volume-title":"Explicit Effect Subtyping","author":"Saleh Amr Hany","unstructured":"Amr Hany Saleh , Georgios Karachalias , Matija Pretnar , and Tom Schrijvers . 2018. Explicit Effect Subtyping . In Programming Languages and Systems, Amal Ahmed (Ed.). Springer International Publishing , Cham, Switzerland . 327\u2013354. isbn:978-3-319-89884-1 Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers. 2018. Explicit Effect Subtyping. In Programming Languages and Systems, Amal Ahmed (Ed.). Springer International Publishing, Cham, Switzerland. 327\u2013354. isbn:978-3-319-89884-1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240719.3241788"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408975"},{"key":"e_1_3_2_1_28_1","volume-title":"Jonathan Immanuel Brachth\u00e4user, and Klaus Ostermann","author":"Schuster Philipp","year":"2022","unstructured":"Philipp Schuster , Jonathan Immanuel Brachth\u00e4user, and Klaus Ostermann . 2022 . Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. In Programming Languages and Systems, Ilya Sergey (Ed.). Springer International Publishing , Cham. 492\u2013519. isbn:978-3-030-99336-8 Philipp Schuster, Jonathan Immanuel Brachth\u00e4user, and Klaus Ostermann. 2022. Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. In Programming Languages and Systems, Ilya Sergey (Ed.). Springer International Publishing, Cham. 492\u2013519. isbn:978-3-030-99336-8"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454039"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604144"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408981"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3473576"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. ACM Program. Lang., 3, POPL","author":"Zhang Yizhou","year":"2019","unstructured":"Yizhou Zhang and Andrew C. Myers . 2019. Abstraction-safe Effect Handlers via Tunneling . Proc. ACM Program. Lang., 3, POPL ( 2019 ), Article 5, Jan., 29 pages. issn:2475-1421 Yizhou Zhang and Andrew C. Myers. 2019. Abstraction-safe Effect Handlers via Tunneling. Proc. ACM Program. Lang., 3, POPL (2019), Article 5, Jan., 29 pages. issn:2475-1421"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the Conference on Programming Language Design and Implementation. ACM","author":"Zhang Yizhou","unstructured":"Yizhou Zhang , Guido Salvaneschi , Quinn Beightol , Barbara Liskov , and Andrew C. Myers . 2016. Accepting Blame for Safe Tunneled Exceptions . In Proceedings of the Conference on Programming Language Design and Implementation. ACM , New York, NY, USA. 281\u2013295. Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers. 2016. Accepting Blame for Safe Tunneled Exceptions. In Proceedings of the Conference on Programming Language Design and Implementation. ACM, New York, NY, USA. 281\u2013295."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428207"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T22:42:57Z","timestamp":1699396977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523710"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":37,"alternative-id":["10.1145\/3519939.3523710","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523710","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}