{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:28Z","timestamp":1750220908041,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T00:00:00Z","timestamp":1570406400000},"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":[[2019,10,7]]},"DOI":"10.1145\/3354166.3354186","type":"proceedings-article","created":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T12:58:36Z","timestamp":1569329916000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Exception Handling and Classical Logic"],"prefix":"10.1145","author":[{"given":"Steffen","family":"van Bakel","sequence":"first","affiliation":[{"name":"Department of Computing, Imperial College London, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,7]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/s10990-007-9007-z"},{"volume-title":"The Lambda Calculus: its Syntax and Semantics (revised ed.). North-Holland","author":"Barendregt H.","unstructured":"H. Barendregt . 1984. The Lambda Calculus: its Syntax and Semantics (revised ed.). North-Holland , Amsterdam . H. Barendregt. 1984. The Lambda Calculus: its Syntax and Semantics (revised ed.). North-Holland, Amsterdam.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","volume-title":"MFCS'98 (LNCS) 1450","author":"Bierman G.M.","year":"1998","unstructured":"G.M. Bierman . 1998 . A Computational Interpretation of the \u03bbμ-calculus . In MFCS'98 (LNCS) 1450 , 336--345. G.M. Bierman. 1998. A Computational Interpretation of the \u03bbμ-calculus. In MFCS'98 (LNCS) 1450, 336--345."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1017\/S0956796899003512"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1073\/pnas.20.11.584"},{"unstructured":"S. Drossopoulou and T. Valkevych. 2000. Java Exceptions Throw No Surprises. (March 2000). http:\/\/pubs.doc.ic.ac.uk\/nosurprises-00\/ Unpublished.  S. Drossopoulou and T. Valkevych. 2000. Java Exceptions Throw No Surprises. (March 2000). http:\/\/pubs.doc.ic.ac.uk\/nosurprises-00\/ Unpublished.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","volume-title":"The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103, 2","author":"Felleisen M.","year":"1992","unstructured":"M. Felleisen and R Hieb . 1992. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103, 2 ( 1992 ). M. Felleisen and R Hieb. 1992. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103, 2 (1992)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/BF01201353"},{"unstructured":"J. Gosling W.N. Joy and G.L. Steele  Jr. 1996. The Java Language Specification. Addison-Wesley.  J. Gosling W.N. Joy and G.L. Steele Jr. 1996. The Java Language Specification. Addison-Wesley.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/96709.96714"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/3-540-58216-9_27"},{"key":"e_1_3_2_1_13_1","first-page":"201","article-title":"A Simple Calculus of Exception Handling. In TLCA '95, 1995","volume":"902","author":"de Groote Ph.","year":"1995","unstructured":"Ph. de Groote . 1995 . A Simple Calculus of Exception Handling. In TLCA '95, 1995 , Proceedings LNCS 902 , 201 -- 215 . Ph. de Groote. 1995. A Simple Calculus of Exception Handling. In TLCA '95, 1995, Proceedings LNCS 902, 201--215.","journal-title":"Proceedings LNCS"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/130697.130699","article-title":"Report on the Programming Language Haskell","volume":"27","author":"Hudak P.","year":"1992","unstructured":"P. Hudak , S. Peyton Jones , P. Wadler , B. Boutel , J. Fairbairn , J. Fasel , K. Hammond , J. Hughes , T. Johnsson , D. Kieburtz , R. Nikhil , W. Partain , and J. Peterson . 1992 . Report on the Programming Language Haskell . ACM SIGPLAN Notices 27 , 5 (1992), 1 -- 64 . P. Hudak, S. Peyton Jones, P. Wadler, B. Boutel, J. Fairbairn, J. Fasel, K. Hammond, J. Hughes, T. Johnsson, D. Kieburtz, R. Nikhil, W. Partain, and J. Peterson. 1992. Report on the Programming Language Haskell. ACM SIGPLAN Notices 27, 5 (1992), 1--64.","journal-title":"ACM SIGPLAN Notices"},{"key":"e_1_3_2_1_15_1","first-page":"61","article-title":"The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. In Logic, Language and Computation","volume":"792","author":"Nakano H.","year":"1994","unstructured":"H. Nakano . 1994 . The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. In Logic, Language and Computation , Festschrift in Honor of Satoru Takasu LNCS 792 , 61 -- 72 . H. Nakano. 1994. The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. In Logic, Language and Computation, Festschrift in Honor of Satoru Takasu LNCS 792, 61--72.","journal-title":"Festschrift in Honor of Satoru Takasu LNCS"},{"volume-title":"Proceedings of the 24th Annual ACM Symposium on Principles Of Programming Languages. 215--227","author":"Ong H.L.","unstructured":"C.- H.L. Ong and C.A. Stewart . 1997. A Curry-Howard foundation for functional computation with control . In Proceedings of the 24th Annual ACM Symposium on Principles Of Programming Languages. 215--227 . C.-H.L. Ong and C.A. Stewart. 1997. A Curry-Howard foundation for functional computation with control. In Proceedings of the 24th Annual ACM Symposium on Principles Of Programming Languages. 215--227.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/BFb0013061"},{"key":"e_1_3_2_1_19_1","volume-title":"TYPES Workshop, at B\u0103stad","author":"Parigot M.","year":"1993","unstructured":"M. Parigot . 1993 . Classical Proofs as Programs. In Kurt G\u00f6del Colloquium. 263--276 . Presented at TYPES Workshop, at B\u0103stad , June 1992. M. Parigot. 1993. Classical Proofs as Programs. In Kurt G\u00f6del Colloquium. 263--276. Presented at TYPES Workshop, at B\u0103stad, June 1992."},{"unstructured":"M.E. Szabo (Ed.). 1969. The Collected Papers of Gerhard Gentzen. North-Holland.  M.E. Szabo (Ed.). 1969. The Collected Papers of Gerhard Gentzen. North-Holland.","key":"e_1_3_2_1_20_1"}],"event":{"sponsor":["Sony Sony Corporation"],"acronym":"PPDP '19","name":"PPDP '19: Principles and Practice of Programming Languages 2019","location":"Porto Portugal"},"container-title":["Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3354166.3354186","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3354166.3354186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:56Z","timestamp":1750203896000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3354166.3354186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,7]]},"references-count":18,"alternative-id":["10.1145\/3354166.3354186","10.1145\/3354166"],"URL":"https:\/\/doi.org\/10.1145\/3354166.3354186","relation":{},"subject":[],"published":{"date-parts":[[2019,10,7]]},"assertion":[{"value":"2019-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}