{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T00:12:11Z","timestamp":1717978331558},"reference-count":37,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Computer Journal"],"DOI":"10.1093\/comjnl\/bxw080","type":"journal-article","created":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T15:06:19Z","timestamp":1475161579000},"source":"Crossref","is-referenced-by-count":1,"title":["Semantic Subtyping for Objects and Classes"],"prefix":"10.1093","author":[{"given":"Ornela","family":"Dardha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Varacca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,12,5]]},"reference":[{"key":"2016120517351694000_bxw080v1.1","doi-asserted-by":"crossref","unstructured":"Aiken, A. and Wimmers, E.L. (1993) Type inclusion constraints and type inference. In Proc. of FPCA, pp. 31\u201341. ACM.","DOI":"10.1145\/165180.165188"},{"key":"2016120517351694000_bxw080v1.2","doi-asserted-by":"crossref","unstructured":"Damm, F.M. (1994) Subtyping with Union Types, Intersection Types and Recursive Types. In Proc. of TACS, pp. 687\u2013706. Springer.","DOI":"10.1007\/3-540-57887-0_121"},{"key":"2016120517351694000_bxw080v1.3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/373243.360209","article-title":"Regular expression pattern matching for XML","volume":"36","author":"Hosoya","year":"2001","journal-title":"SIGPLAN Notices"},{"key":"2016120517351694000_bxw080v1.4","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/767193.767195","article-title":"Xduce: A statically typed XML processing language","volume":"3","author":"Hosoya","year":"2003","journal-title":"ACM Trans. Internet Technol."},{"key":"2016120517351694000_bxw080v1.5","doi-asserted-by":"crossref","unstructured":"Benzaken, V. , Castagna, G. , and Frisch, A. (2003) CDuce: An XML-centric General-purpose Language. In Proc. ICFP, pp. 51\u201363. AMC Press.","DOI":"10.1145\/944746.944711"},{"key":"2016120517351694000_bxw080v1.6","doi-asserted-by":"crossref","unstructured":"Castagna, G. (2005) Semantic Subtyping: Challenges, Perspectives, and Open Problems. In Proc. of ICTCS, LNCS, 3701, pp. 1\u201320. Springer.","DOI":"10.1007\/11560586_1"},{"key":"2016120517351694000_bxw080v1.7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1391289.1391293","article-title":"Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types","volume":"55","author":"Frisch","year":"2008","journal-title":"J. ACM"},{"key":"2016120517351694000_bxw080v1.8","doi-asserted-by":"crossref","unstructured":"Castagna, G. , Nguyen, K. , Xu, Z. , Im, H. , Lenglet, S. and Padovani, L. (2014) Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation. In Proc. of POPL, pp. 5\u201317. AMC Press.","DOI":"10.1145\/2535838.2535840"},{"key":"2016120517351694000_bxw080v1.9","unstructured":"Sangiorgi, D. and Walker, D. (2003) The Pi-Calculus: A Theory of Mobile Processes, Cambridge University Press, New York, NY, USA."},{"key":"2016120517351694000_bxw080v1.10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.tcs.2008.01.049","article-title":"Semantic subtyping for the pi-calculus","volume":"398","author":"Castagna","year":"2008","journal-title":"Theor. Comput. Sci."},{"key":"2016120517351694000_bxw080v1.11","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/155183.155231","article-title":"Subtyping recursive types","volume":"15","author":"Amadio","year":"1993","journal-title":"ACM TOPLAS"},{"key":"2016120517351694000_bxw080v1.12","doi-asserted-by":"crossref","unstructured":"Kozen, D. , Palsberg, J. and Schwartzbach, M. (1993) Efficient Recursive Subtyping. In Proc. POPL, pp. 419\u2013428. ACM.","DOI":"10.1145\/158511.158700"},{"key":"2016120517351694000_bxw080v1.13","doi-asserted-by":"crossref","unstructured":"Aiken, A. and Wimmers, E. (1993) Type Inclusion Constraints and Type Inference. In Proc. FPCA, pp. 31\u201341. ACM Press.","DOI":"10.1145\/165180.165188"},{"key":"2016120517351694000_bxw080v1.14","doi-asserted-by":"crossref","unstructured":"Ancona, D and Lagorio, G . (2010) Coinductive Subtyping for Abstract Compilation of Object-oriented Languages into Horn Formulas. In Proc. GANDALF, EPTCS, 25, pp. 214\u2013230.","DOI":"10.4204\/EPTCS.25.20"},{"key":"2016120517351694000_bxw080v1.15","doi-asserted-by":"crossref","unstructured":"Ancona, D. and Corradi, A. (2014) Sound and Complete Subtyping Between Coinductive Types for Object-oriented Languages. In Proc. ECOOP, pp. 282\u2013307. Springer.","DOI":"10.1007\/978-3-662-44202-9_12"},{"key":"2016120517351694000_bxw080v1.16","doi-asserted-by":"crossref","unstructured":"Bonsangue, M. , Rot, J. , Ancona, D. , de Boer, F. and Rutten, J. (2014) A Coalgebraic Foundation for Coinductive Union Types. In Proc. of ICALP, pp. 62\u201373.","DOI":"10.1007\/978-3-662-43951-7_6"},{"key":"2016120517351694000_bxw080v1.17","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1017\/S0956796802004318","article-title":"Recursive subtyping revealed","volume":"12","author":"Gapeyev","year":"2002","journal-title":"J. Funct. Program."},{"key":"2016120517351694000_bxw080v1.18","doi-asserted-by":"crossref","unstructured":"Brandt, M. and Henglein, F. (1997) Coinductive Axiomatization of Recursive Type Equality and Subtyping. In Proc. TLCA, LNCS, 1210, pp. 63\u201381. Springer.","DOI":"10.1007\/3-540-62688-3_29"},{"key":"2016120517351694000_bxw080v1.19","doi-asserted-by":"crossref","unstructured":"Kozen, D. and Silva, A. (2016) Practical coinduction. Math. Struct. Comput. Sci., 1\u201321.","DOI":"10.1017\/S0960129515000493"},{"key":"2016120517351694000_bxw080v1.20","doi-asserted-by":"crossref","unstructured":"Pearce, D. (2013) Sound and Complete Flow Typing with Unions, Intersections and Negations, In Proc. of VMCAI, LNCS, 7737, pp. 335\u2013354. Springer.","DOI":"10.1007\/978-3-642-35873-9_21"},{"key":"2016120517351694000_bxw080v1.21","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"2016120517351694000_bxw080v1.22","doi-asserted-by":"crossref","unstructured":"Dardha, O. , Gorla, D. , and Varacca, D. (2013) Semantic Subtyping for Objects and Classes. In Proc. of FMOODS\/FORTE, pp. 66\u201382. Springer.","DOI":"10.1007\/978-3-642-38592-6_6"},{"key":"2016120517351694000_bxw080v1.23","doi-asserted-by":"crossref","unstructured":"Boyland, J.T. and Castagna, G. (1996) Type-safe Compilation of Covariant Specialization: A Practical Case. In Proc. ECOOP, vol. 1098 of LNCS, pp. 3\u201325. Springer.","DOI":"10.1007\/BFb0053054"},{"key":"2016120517351694000_bxw080v1.24","doi-asserted-by":"crossref","unstructured":"Castagna, G. (1997) Object-oriented Programming: A Unified Foundation. In Progress in Theoretical Computer Science series, Birk\u00e4user, Boston.","DOI":"10.1007\/978-1-4612-4138-6_3"},{"key":"2016120517351694000_bxw080v1.25","doi-asserted-by":"crossref","unstructured":"Boyland, J.T. and Castagna, G. (1997) Parasitic Methods: An Implementation of Multi-methods for Java. In Proc. OOPSLA. ACM Press.","DOI":"10.1145\/263698.263721"},{"key":"2016120517351694000_bxw080v1.26","doi-asserted-by":"crossref","unstructured":"Findler, R.B. , Flatt, M. , and Felleisen, M. (2004) Semantic Casts: Contracts and Structural Subtyping in a Nominal World. In Proc. ECOOP, pp. 364\u2013388. Springer.","DOI":"10.1007\/978-3-540-24851-4_17"},{"key":"2016120517351694000_bxw080v1.27","doi-asserted-by":"crossref","unstructured":"Gil, J. and Maman, I. (2008) Whiteoak: Introducing Structural Typing into Java. In Proc. of OOPSLA, pp. 73\u201390. ACM.","DOI":"10.1145\/1449764.1449771"},{"key":"2016120517351694000_bxw080v1.28","unstructured":"Leroy, X. , Doligez, D. , Garrigue, J. , R\u00e9my, D. and Vouillon, J. (2008) The Objective Caml system, release 3.11."},{"key":"2016120517351694000_bxw080v1.29","doi-asserted-by":"crossref","unstructured":"Malayeri, D. and Aldrich, J. (2008) Integrating Nominal and Structural Subtyping. In Proc. of ECOOP, pp. 260\u2013284. Springer.","DOI":"10.1007\/978-3-540-70592-5_12"},{"key":"2016120517351694000_bxw080v1.30","doi-asserted-by":"crossref","unstructured":"Malayeri, D. and Aldrich, J. (2009) Is Structural Subtyping Useful? An Empirical Study. In Proc. ESOP, pp. 95\u2013111. Springer.","DOI":"10.1007\/978-3-642-00590-9_8"},{"key":"2016120517351694000_bxw080v1.31","doi-asserted-by":"crossref","first-page":"121","DOI":"10.5381\/jot.2008.7.1.a4","article-title":"Nominal and structural subtyping in component-based programming","volume":"7","author":"Ostermann","year":"2008","journal-title":"J. Object Technol."},{"key":"2016120517351694000_bxw080v1.32","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D. and Vouillon, J. (1997) Objective ML: A Simple Object-oriented Extension of ML. In Proc. POPL, pp. 40\u201353. ACM.","DOI":"10.1145\/263699.263707"},{"key":"2016120517351694000_bxw080v1.33","doi-asserted-by":"crossref","unstructured":"Ancona, D. and Lagorio, G. (2009) Coinductive Type Systems for Object-oriented Languages. In Proc. ECOOP, pp. 2\u201326. Springer.","DOI":"10.1007\/978-3-642-03013-0_2"},{"key":"2016120517351694000_bxw080v1.34","doi-asserted-by":"crossref","unstructured":"Abadi, M. and Cardelli, L. (1994) A Theory of Primitive Objects\u2014Untyped and First-Order Systems. In Proc. TACS, pages 296\u2013320. Springer.","DOI":"10.1007\/3-540-57887-0_101"},{"key":"2016120517351694000_bxw080v1.35","doi-asserted-by":"crossref","unstructured":"Agrawal, R. , de Michiel, L.G. and Lindsay, B.G. (1991) Static Type Checking of Multimethods. In Proc. OOPSLA, pp. 113\u2013128. ACM Press.","DOI":"10.1145\/118014.117963"},{"key":"2016120517351694000_bxw080v1.36","doi-asserted-by":"crossref","unstructured":"Bracha, G. and Griswold, D. (1993) Strongtalk: Typechecking Smalltalk in a Production Environment. In OOPSLA, 215\u2013230.","DOI":"10.1145\/167962.165893"},{"key":"2016120517351694000_bxw080v1.37","unstructured":"Odersky, M. , Micheloud, S. , Mihaylov, N. , Schinz, M. , Stenman, E. and Zenger, M. (2004) An Overview of the Scala Programming Language. Technical Report."}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/60\/5\/636\/14011337\/bxw080.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T23:40:40Z","timestamp":1568418040000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article-lookup\/doi\/10.1093\/comjnl\/bxw080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,5]]},"references-count":37,"alternative-id":["10.1093\/comjnl\/bxw080"],"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxw080","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,5]]}}}