{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:44Z","timestamp":1759639064180,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T00:00:00Z","timestamp":1168905600000},"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":[[2007,1,16]]},"DOI":"10.1145\/1190315.1190320","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"15-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Semantics of an effect analysis for exceptions"],"prefix":"10.1145","author":[{"given":"Nick","family":"Benton","sequence":"first","affiliation":[{"name":"Microsoft Research"}]},{"given":"Peter","family":"Buchlovsky","sequence":"additional","affiliation":[{"name":"University of Cambridge Computer Laboratory"}]}],"member":"320","published-online":{"date-parts":[[2007,1,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113761"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90074-C"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964003"},{"key":"e_1_3_2_1_5_1","volume-title":"3rd International Workshop on Higher Order Operational Techniques in Semantics (HOOTS)","volume":"26","author":"Benton N.","unstructured":"N. Benton and A. Kennedy . Monads, effects and transformations . In 3rd International Workshop on Higher Order Operational Techniques in Semantics (HOOTS) , Paris , volume 26 of Electronic Notes in Theoretical Computer Science. Elsevier, September 1999. N. Benton and A. Kennedy. Monads, effects and transformations. In 3rd International Workshop on Higher Order Operational Techniques in Semantics (HOOTS), Paris, volume 26 of Electronic Notes in Theoretical Computer Science. Elsevier, September 1999."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004099"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_7"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 16th International Colloquium on Automata, Languages and Programming (ICALP)","author":"Cardone F.","year":"1989","unstructured":"F. Cardone . Relational semantics for recursive types and bounded quantification . In Proceedings of the 16th International Colloquium on Automata, Languages and Programming (ICALP) , volume 372 of Lecture Notes in Computer Science . Springer , 1989 . F. Cardone. Relational semantics for recursive types and bounded quantification. In Proceedings of the 16th International Colloquium on Automata, Languages and Programming (ICALP), volume 372 of Lecture Notes in Computer Science. Springer, 1989."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003786"},{"key":"e_1_3_2_1_10_1","volume-title":"The Java(TM) Language Specification","author":"Gosling J.","year":"1996","unstructured":"J. Gosling , B. Joy , and G. Steele . The Java(TM) Language Specification . Addison Wesley , 1996 . J. Gosling, B. Joy, and G. Steele. The Java(TM) Language Specification. Addison Wesley, 1996."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/115865.115881"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111550"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80013-6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292565"},{"key":"e_1_3_2_1_19_1","volume-title":"Department of AI","author":"Plotkin G. D.","year":"1973","unstructured":"G. D. Plotkin . Lambda definability and logical relations. Technical report , Department of AI , University of Edinburgh , 1973 . G. D. Plotkin. Lambda definability and logical relations. Technical report, Department of AI, University of Edinburgh, 1973."},{"key":"e_1_3_2_1_20_1","volume-title":"Technical Report BRICS RS-00-32, BRICS","author":"Reynolds J. C.","year":"2000","unstructured":"J. C. Reynolds . The meaning of types -- from intrinsic to extrinsic semantics. Technical Report BRICS RS-00-32, BRICS , University of Aarhus , December 2000 . J. C. Reynolds. The meaning of types -- from intrinsic to extrinsic semantics. Technical Report BRICS RS-00-32, BRICS, University of Aarhus, December 2000."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011553200337"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1046"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/601775.601776"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58485-4_44"}],"event":{"name":"TLDI07: International Workshop on Types in Language Design and Implementation 2007","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Nice Nice, France","acronym":"TLDI07"},"container-title":["Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1190315.1190320","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1190315.1190320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:42Z","timestamp":1750258062000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1190315.1190320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,16]]},"references-count":23,"alternative-id":["10.1145\/1190315.1190320","10.1145\/1190315"],"URL":"https:\/\/doi.org\/10.1145\/1190315.1190320","relation":{},"subject":[],"published":{"date-parts":[[2007,1,16]]},"assertion":[{"value":"2007-01-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}