{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:35:40Z","timestamp":1770294940100,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540223801","type":"print"},{"value":"9783540277644","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27764-4_12","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T19:25:20Z","timestamp":1284578720000},"page":"211-227","source":"Crossref","is-referenced-by-count":11,"title":["Compiling Exceptions Correctly"],"prefix":"10.1007","author":[{"given":"Graham","family":"Hutton","sequence":"first","affiliation":[]},{"given":"Joel","family":"Wright","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Program Construction: Calculating Implementations from Specifications","author":"R. Backhouse","year":"2003","unstructured":"Backhouse, R.: Program Construction: Calculating Implementations from Specifications. John Wiley, Chichester (2003)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, Montreal, Canada (September 2000)","DOI":"10.1145\/351240.351266"},{"key":"12_CR3","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"12_CR4","unstructured":"Harrison, W.: Modular Compilers and Their Correctness Proofs. PhD thesis, University of Illinois (2001)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Marlow, S., Peyton Jones, S., Moran, A., Reppy, J.: Asynchronous Exceptions In Haskell. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Snowbird, Utah (June 2001)","DOI":"10.1145\/378795.378858"},{"key":"12_CR6","unstructured":"McBride, C.: Personal communication (2003)"},{"key":"12_CR7","unstructured":"Meijer, E.: Calculating Compilers. PhD thesis, Nijmegen University (1992)"},{"key":"12_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press, Cambridge (1997)"},{"key":"12_CR9","unstructured":"Moggi, E.: An Abstract View of Programming Languages. Technical Report ECSLFCS- 90-113, Laboratory for Foundations of Computer Science, University of Edinburgh (1990)"},{"key":"12_CR10","unstructured":"Nipkow, T.: Personal communication (2004)"},{"key":"12_CR11","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"S. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"12_CR12","unstructured":"Peyton Jones, S., Launchbury, J.: State in Haskell. University of Glasgow (1994)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Reid, A., Hoare, T., Marlow, S., Henderson, F.: A Semantics For Imprecise Exceptions. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia (May 1999)","DOI":"10.1145\/301618.301637"},{"key":"12_CR14","unstructured":"Schmidt, D.A.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc. (1986)"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0167-6423(90)90056-J","volume":"14","author":"M. Spivey","year":"1990","unstructured":"Spivey, M.: A Functional Theory of Exceptions. Science of Computer Programming\u00a014(1), 25\u201343 (1990)","journal-title":"Science of Computer Programming"},{"key":"12_CR16","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1997","unstructured":"Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley, Reading (1997)","edition":"3"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The Essence of Functional Programming. In: Proc. Principles of Programming Languages (1992)","DOI":"10.1145\/143165.143169"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27764-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:18Z","timestamp":1605759558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27764-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223801","9783540277644"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27764-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}