{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:34Z","timestamp":1725664894554},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625032"},{"type":"electronic","value":"9783540680529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62503-8_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:40:25Z","timestamp":1330296025000},"page":"172-206","source":"Crossref","is-referenced-by-count":4,"title":["Polymorphic subtyping for effect analysis: The dynamic semantics"],"prefix":"10.1007","author":[{"given":"Torben","family":"Amtoft","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Hanne","family":"Riis Nielson","sequence":"additional","affiliation":[]},{"given":"J\u00fcrgen","family":"Ammann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"9_CR1","unstructured":"M. Debbabi and D. Bolignano: A semantic theory for ML higher-order concurrency primitives. In ML with Concurrency: Design, Analysis, Implementation and Application (editor: Flemming Nielson), Springer-Verlag, 1996."},{"key":"9_CR2","unstructured":"M. Felleisen and D.P. Friedman: Control operators, the SECD-Machine, and the \u03bb calculus. Formal Descriptions of Programming Concepts III, North-Holland, 1986."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"X. Leroy and P. Weis: Polymorphic type inference and assignment. In Proc. POPL '91, pages 291\u2013302. ACM Press, 1991.","DOI":"10.1145\/99583.99622"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner: A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"H.R. Nielson and F. Nielson: Higher-order concurrent programs with finite communication topology. In Proc. POPL'94, pages 84\u201397. ACM Press, 1994.","DOI":"10.1145\/174675.174538"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"H.R. Nielson, F. Nielson, T. Amtoft: Polymorphic subtypes for effect analysis: the static semantics. This volume of SLNCS, 1997.","DOI":"10.1007\/3-540-62503-8_10"},{"key":"9_CR7","volume-title":"Report DAIMI FN-19","author":"G.D. Plotkin","year":"1981","unstructured":"G.D. Plotkin: A structural approach to operational semantics. Report DAIMI FN-19, Aarhus University, Denmark, 1981."},{"key":"9_CR8","first-page":"165","volume":"693","author":"J. H. Reppy","year":"1993","unstructured":"J. H. Reppy: Concurrent ML: Design, application and semantics. In Proc. Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165\u2013198. SLNCS 693, 1993.","journal-title":"SLNCS"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"J. P. Talpin and P. Jouvelot: The type and effect discipline. Information and Computation, 111, 1994.","DOI":"10.1006\/inco.1994.1046"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M. Tofte","year":"1990","unstructured":"M. Tofte: Type inference for polymorphic references. Information and Computation, 89:1\u201334, 1990.","journal-title":"Information and Computation"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"A.K. Wright and M. Felleisen: A syntactic approach to type soundness. Information and Computation, 115, pages 38\u201394, 1994.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Analysis and Verification of Multiple-Agent Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62503-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:13:09Z","timestamp":1605647589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62503-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625032","9783540680529"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-62503-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}