{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:11:41Z","timestamp":1775790701644,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540625032","type":"print"},{"value":"9783540680529","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62503-8_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:39:32Z","timestamp":1330295972000},"page":"207-243","source":"Crossref","is-referenced-by-count":7,"title":["Polymorphic subtyping for effect analysis: The algorithm"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne","family":"Riis Nielson","sequence":"additional","affiliation":[]},{"given":"Torben","family":"Amtoft","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"T. Amtoft, F. Nielson, H.R. Nielson, J. Ammann: Polymorphic subtypes for effect analysis: the dynamic semantics. This volume of SLNCS, 1997.","DOI":"10.1007\/3-540-62503-8_9"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Y.-C. Fuh and P. Mishra: Polymorphic subtype inference: closing the theory-practice gap. In Proc. TAPSOFT '89. SLNCS 352, 1989.","DOI":"10.1007\/3-540-50940-2_35"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Y.-C. Fuh and P. Mishra: Type inference with subtypes. Theoretical Computer Science, 73, 1990.","DOI":"10.1016\/0304-3975(90)90144-7"},{"key":"10_CR4","first-page":"287","volume":"788","author":"F. Henglein","year":"1994","unstructured":"F. Henglein and C. Mossin: Polymorphic binding-time analysis. In Proc. ESOP '94, pages 287\u2013301. SLNCS 788, 1994.","journal-title":"SLNCS"},{"key":"10_CR5","first-page":"287","volume":"582","author":"M.P. Jones","year":"1992","unstructured":"M.P. Jones: A theory of qualified types. In Proc. ESOP '92, pages 287\u2013306. SLNCS 582, 1992.","journal-title":"SLNCS"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"P. Jouvelot and D.K. Gifford: Algebraic reconstruction of types and effects. In Proc. POPL'91, pages 303\u2013310. ACM Press, 1991.","DOI":"10.1145\/99583.99623"},{"key":"10_CR7","doi-asserted-by":"crossref","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 Systems, 17:348\u2013375, 1978.","journal-title":"Journal of Computer Systems"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell: Type inference with simple subtypes. Journal of Functional Programming, 1(3), 1991.","DOI":"10.1017\/S0956796800000113"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"F. Nielson and H.R. Nielson: Constraints for polymorphic behaviours for Concurrent ML. In Proc. CCL'94. SLNCS 845, 1994.","DOI":"10.1007\/BFb0016845"},{"key":"10_CR10","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":"10_CR11","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":"10_CR12","unstructured":"P. Panangaden and J.H. Reppy: The essence of Concurrent ML. In ML with Concurrency: Design, Analysis, Implementation and Application (editor: Flemming Nielson), Springer-Verlag, 1996."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J.H. Siekmann","year":"1989","unstructured":"J.H. Siekmann: Unification theory. J. Symbolic Computation, 7:207\u2013274, 1989.","journal-title":"J. Symbolic Computation"},{"key":"10_CR14","unstructured":"G.S. Smith: Polymorphic type inference for languages with overloading and subtyping. Ph.D thesis from Cornell, 1991."},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0167-6423(94)00020-4","volume":"23","author":"G.S. Smith","year":"1993","unstructured":"G.S. Smith: Polymorphic inference with overloading and subtyping. In SLNCS 668, Proc. TAPSOFT '93, 1993. Also see: Principal type schemes for functional programs with overloading and subtyping: Science of Computer Programming 23, pp. 197\u2013226, 1994.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"10_CR16","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.P. Talpin","year":"1992","unstructured":"J.P. Talpin and P. Jouvelot: Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3), pages 245\u2013271, 1992.","journal-title":"Journal of Functional Programming"},{"key":"10_CR17","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":"10_CR18","unstructured":"Y.-M. Tang: Control flow analysis by effect systems and abstract interpretation. PhD thesis, Ecoles des Mines de Paris, 1994."},{"key":"10_CR19","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":"10_CR20","unstructured":"M. Tofte and L. Birkedal: Region-annotated types and type schemes, 1996. Submitted for publication."},{"key":"10_CR21","first-page":"473","volume":"582","author":"A.K. Wright","year":"1992","unstructured":"A.K. Wright: Typing references by effect inference. In Proc. ESOP '92, pages 473\u2013491. SLNCS 582, 1992.","journal-title":"SLNCS"}],"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_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:13:04Z","timestamp":1605647584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62503-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625032","9783540680529"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-62503-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}