{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:08Z","timestamp":1751662868483,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106712"},{"type":"electronic","value":"9783642106729"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","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-10672-9_10","type":"book-chapter","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T09:08:11Z","timestamp":1259744891000},"page":"111-127","source":"Crossref","is-referenced-by-count":12,"title":["On the Decidability of Subtyping with Bounded Existential Types"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Wehr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"issue":"1-2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/inco.1999.2829","volume":"155","author":"K.B. Bruce","year":"1999","unstructured":"Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing object encodings. Information and Computation\u00a0155(1-2), 108\u2013133 (1999)","journal-title":"Information and Computation"},{"key":"10_CR3","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_CR4","unstructured":"Cameron, N., Ernst, E., Drossopoulou, S.: Towards an existential types model for Java wildcards. In: FTfJP, informal proceedings (2007), \n                      http:\/\/www.doc.ic.ac.uk\/~ncameron\/papers\/cameron_ftfjp07_full.pdf"},{"key":"10_CR5","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 Comput. Surv.\u00a017, 471\u2013522 (1985)","journal-title":"ACM Comput. Surv."},{"issue":"1-2","key":"10_CR6","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"},{"key":"10_CR7","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison Wesley, Reading (2006)","edition":"3"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-19027-9_9","volume-title":"ESOP \u201988","author":"S. Kaes","year":"1988","unstructured":"Kaes, S.: Parametric overloading in polymorphic programming languages. In: Ganzinger, H. (ed.) ESOP 1988. LNCS, vol.\u00a0300, pp. 131\u2013144. Springer, Heidelberg (1988)"},{"key":"10_CR9","unstructured":"Kennedy, A.J., Pierce, B.C.: On decidability of nominal subtyping with variance. In: FOOL\/WOOD, informal proceedings (January 2007), \n                      http:\/\/foolwood07.cs.uchicago.edu\/program\/kennedy-abstract.html"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1017\/S0956796800001817","volume":"6","author":"K. L\u00e4ufer","year":"1996","unstructured":"L\u00e4ufer, K.: Type classes with existential types. J. Funct. Program.\u00a06(3), 485\u2013517 (1996)","journal-title":"J. Funct. Program."},{"key":"10_CR11","unstructured":"Mazurak, K., Zdancewic, S.: Type inference for Java 5: Wildcards, F-bounds, and undecidability (2006), \n                      http:\/\/www.cis.upenn.edu\/~stevez\/note.html"},{"issue":"3","key":"10_CR12","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 types. ACM TOPLAS\u00a010(3), 470\u2013502 (1988)","journal-title":"ACM TOPLAS"},{"key":"10_CR13","unstructured":"Odersky, M.: The Scala language specification version 2.7. Draft (April 2008), \n                      http:\/\/www.scala-lang.org\/docu\/files\/ScalaReference.pdf"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1055","volume":"112","author":"B.C. Pierce","year":"1994","unstructured":"Pierce, B.C.: Bounded quantification is undecidable. Information and Computation\u00a0112(1), 131\u2013165 (1994)","journal-title":"Information and Computation"},{"volume-title":"Advanced Topics in Types and Programming Languages","year":"2005","key":"10_CR15","unstructured":"Pierce, B.C. (ed.): Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005)"},{"key":"10_CR16","volume-title":"5th PPPJ","author":"M. Pl\u00fcmicke","year":"2007","unstructured":"Pl\u00fcmicke, M.: Typeless programming in Java 5.0 with wildcards. In: 5th PPPJ. ACM, New York (2007)"},{"key":"10_CR17","series-title":"LNAI","first-page":"223","volume-title":"INAP\/WLP 2007","author":"M. Pl\u00fcmicke","year":"2009","unstructured":"Pl\u00fcmicke, M.: Java type unification with wildcards. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP\/WLP 2007. LNCS (LNAI), vol.\u00a05437, pp. 223\u2013240. Springer, Heidelberg (2009)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"53","author":"E.L. Post","year":"1946","unstructured":"Post, E.L.: A variant of a recursivley unsolvable problem. Bulletin of the American Mathematical Society\u00a053, 264\u2013268 (1946)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10_CR19","unstructured":"Russo, C.V.: Types for Modules. PhD thesis, Edinburgh University, Edinburgh, Scotland, LFCS Thesis ECS\u2013LFCS\u201398\u2013389 (1998)"},{"key":"10_CR20","unstructured":"Torgersen, M., Ernst, E., Hansen, C.P.: Wild FJ. In: FOOL, informal proceedings (2005), \n                      http:\/\/homepages.inf.ed.ac.uk\/wadler\/fool\/program\/14.html"},{"issue":"11","key":"10_CR21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.5381\/jot.2004.3.11.a5","volume":"3","author":"M. Torgersen","year":"2004","unstructured":"Torgersen, M., Ernst, E., Hansen, C.P., von der Ah\u00e9, P., Bracha, G., Gafter, N.: Adding wildcards to the Java programming language. Journal of Object Technology\u00a03(11), 97\u2013116 (2004)","journal-title":"Journal of Object Technology"},{"key":"10_CR22","volume-title":"Proc. 16th ACM Symp. POPL","author":"P. Wadler","year":"1989","unstructured":"Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad-hoc. In: Proc. 16th ACM Symp. POPL, Austin, Texas, USA. ACM Press, New York (1989)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-73589-2_17","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"S. Wehr","year":"2007","unstructured":"Wehr, S., L\u00e4mmel, R., Thiemann, P.: JavaGI: Generalized interfaces for Java. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 347\u2013372. Springer, Heidelberg (2007)"},{"key":"10_CR24","unstructured":"Wehr, S., Thiemann, P.: Subtyping existential types. In: 10th FTfJP, informal proceedings (2008), \n                      http:\/\/www.informatik.uni-freiburg.de\/~wehr\/publications\/subex.pdf"},{"key":"10_CR25","volume-title":"Proc. 8th GPCE","author":"S. Wehr","year":"2009","unstructured":"Wehr, S., Thiemann, P.: JavaGI in the battlefield: Practical experience with generalized interfaces. In: Proc. 8th GPCE, Denver, Colorado, USA. ACM, New York (2009)"},{"key":"10_CR26","unstructured":"Wehr, S., Thiemann, P.: On the decidability of subtyping with bounded existential types (extended edition). Technical report, Universit\u00e4t Freiburg (September 2009), \n                      ftp:\/\/ftp.informatik.uni-freiburg.de\/documents\/reports\/report250\/report00250.ps.gz"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10672-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T20:26:58Z","timestamp":1676060818000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-10672-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106712","9783642106729"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10672-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]]}}}