{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:40Z","timestamp":1751660500228,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005893"},{"type":"electronic","value":"9783642005909"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00590-9_10","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T08:05:58Z","timestamp":1238141158000},"page":"128-142","source":"Crossref","is-referenced-by-count":13,"title":["Existential Quantification for Variant Ownership"],"prefix":"10.1007","author":[{"given":"Nicholas","family":"Cameron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Abi-Antoun, M., Aldrich, J.: Ownership Domains in the Real World. In: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) (2008)"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1324969.1324974","volume":"7","author":"A. Armbruster","year":"2007","unstructured":"Armbruster, A., Baker, J., Cunei, A., Flack, C., Holmes, D., Pizlo, F., Pla, E., Prochazka, M., Vitek, J.: A Real-Time Java Virtual Machine with Applications in Avionics. Transactions on Embedded Computing Systems\u00a07(1), 1\u201349 (2007)","journal-title":"Transactions on Embedded Computing Systems"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A Parameterized Type System for Race-free Java Programs. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2001)","DOI":"10.1145\/504282.504287"},{"key":"10_CR4","unstructured":"Cameron, N.: Existential Types for Variance \u2014 Java Wildcards and Ownership Types. PhD thesis, Imperial College London (2009)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-70592-5_2","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"N. Cameron","year":"2008","unstructured":"Cameron, N., Drossopoulou, S., Ernst, E.: A Model for Java with Wildcards. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 2\u201326. Springer, Heidelberg (2008)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Cameron, N., Drossopoulou, S., Noble, J., Smith, M.: Multiple Ownership. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2007)","DOI":"10.1145\/1297027.1297060"},{"key":"10_CR7","unstructured":"Cameron, N., Ernst, E., Drossopoulou, S.: Towards an Existential Types Model for Java Wildcards. In: Formal Techniques for Java-like Programs (FTfJP) (2007)"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys\u00a017(4), 471\u2013522 (1985)","journal-title":"ACM Computing Surveys"},{"key":"10_CR9","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia (2001)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Drossopoulou, S.: Ownership, Encapsulation and the Disjointness of Type and Effect. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2002)","DOI":"10.1145\/582419.582447"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership Types for Flexible Alias Protection. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (1998)","DOI":"10.1145\/286936.286947"},{"key":"10_CR12","unstructured":"Dietl, W., Drossopoulou, S., M\u00fcller, P.: Generic Universe Types. In: European Conference on Object Oriented Programming (ECOOP) (2007)"},{"issue":"8","key":"10_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.5381\/jot.2005.4.8.a1","volume":"4","author":"W. Dietl","year":"2005","unstructured":"Dietl, W., M\u00fcller, P.: Universes: Lightweight Ownership for JML. Journal of Object Technology\u00a04(8), 5\u201332 (2005)","journal-title":"Journal of Object Technology"},{"issue":"1-2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0304-3975(96)00300-3","volume":"193","author":"G. Ghelli","year":"1998","unstructured":"Ghelli, G., Pierce, B.: Bounded existentials and minimal typing. Theoretical Computer Science\u00a0193(1-2), 75\u201396 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a Minimal Core Calculus For Java and GJ. ACM Trans. Program. Lang. Syst.\u00a023(3), 396\u2013450 (2001); an earlier version of this work appeared at OOPSLA 1999 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"5","key":"10_CR16","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1145\/1152649.1152650","volume":"28","author":"A. Igarashi","year":"2006","unstructured":"Igarashi, A., Viroli, M.: Variant Parametric Types: A Flexible Subtyping Scheme for Generics. Transactions on Programming Languages and Systems\u00a028(5), 795\u2013847 (2006)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Krishnaswami, N., Aldrich, J.: Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages. In: Programming Language Design and Implementation (PLDI) (2005)","DOI":"10.1145\/1065010.1065023"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11785477_6","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: On Ownership and Accessibility. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting Representation with Effect Encapsulation. In: Principles of Programming Languages (POPL) (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"10_CR20","unstructured":"Torgersen, M., Ernst, E., Hansen, C.P.: Wild FJ. In: Foundations of Object-Oriented Languages (FOOL) (2005)"},{"issue":"3","key":"10_CR21","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract Types have Existential Type. Transactions on Programming Languages and Systems\u00a010(3), 470\u2013502 (1988)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic Ownership for Generic Java. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2006)","DOI":"10.1145\/1167473.1167500"},{"key":"10_CR23","unstructured":"Wrigstad, T.: Ownership-Based Alias Managemant. PhD thesis, KTH, Sweden (2006)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Wrigstad, T., Clarke, D.: Existential Owners for Ownership Types. Journal of Object Technology\u00a06(4) (2007)","DOI":"10.5381\/jot.2007.6.4.a5"},{"issue":"1","key":"10_CR25","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1017\/S0956796805005691","volume":"16","author":"T. Zhao","year":"2006","unstructured":"Zhao, T., Palsberg, J., Vitek, J.: Type-based Confinement. J. Funct. Program\u00a016(1), 83\u2013128 (2006)","journal-title":"J. Funct. Program"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00590-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T00:23:51Z","timestamp":1558225431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}