{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:15:49Z","timestamp":1725531349336},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006746"},{"type":"electronic","value":"9783642006753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00675-3_15","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T11:02:24Z","timestamp":1240225344000},"page":"223-240","source":"Crossref","is-referenced-by-count":4,"title":["Java Type Unification with Wildcards"],"prefix":"10.1007","author":[{"given":"Martin","family":"Pl\u00fcmicke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"The Java series","volume-title":"The Java TM Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java TM Language Specification, 3rd edn. The Java series. Addison-Wesley, Reading (2005)","edition":"3"},{"doi-asserted-by":"crossref","unstructured":"Pl\u00fcmicke, M., B\u00e4uerle, J.: Typeless Programming in Java 5.0. In: Gitzel, R., Aleksey, M., Schader, M., Krintz, C. (eds.) 4th International Conference on Principles and Practices of Programming in Java. ACM International Conference Proceeding Series, pp. 175\u2013181. Mannheim University Press (August 2006)","key":"15_CR2","DOI":"10.1145\/1168054.1168079"},{"key":"15_CR3","series-title":"ACM International Conference Proceeding Series","first-page":"73","volume-title":"5th International Conference on Principles and Practices of Programming in Java","author":"M. Pl\u00fcmicke","year":"2007","unstructured":"Pl\u00fcmicke, M.: Typeless Programming in Java 5.0 with wildcards. In: Amaral, V., Veiga, L., Marcelino, L., Cunningham, H.C. (eds.) 5th International Conference on Principles and Practices of Programming in Java. ACM International Conference Proceeding Series, pp. 73\u201382. ACM Press, New York (September 2007)"},{"doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proc. 9th Symposium on Principles of Programming Languages (1982)","key":"15_CR4","DOI":"10.1145\/582153.582176"},{"doi-asserted-by":"crossref","unstructured":"Smolka, G.: Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, Department Informatik, University of Kaiserslautern, Kaiserslautern, Germany (May 1989)","key":"15_CR5","DOI":"10.1007\/3-540-50667-5_58"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3540539816_67","volume-title":"TAPSOFT 1991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"M. Hanus","year":"1991","unstructured":"Hanus, M.: Parametric order-sorted types in logic programming. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494, pp. 181\u2013200. Springer, Heidelberg (1991)"},{"key":"15_CR7","first-page":"1","volume-title":"Types in Logic Programming","author":"P.M. Hill","year":"1992","unstructured":"Hill, P.M., Topor, R.W.: A Semantics for Typed Logic Programs. In: Pfenning, F. (ed.) Types in Logic Programming, pp. 1\u201362. MIT Press, Cambridge (1992)"},{"doi-asserted-by":"crossref","unstructured":"Beierle, C.: Type inferencing for polymorphic order-sorted logic programs. In: International Conference on Logic Programming, pp. 765\u2013779 (1995)","key":"15_CR8","DOI":"10.7551\/mitpress\/4298.003.0073"},{"unstructured":"Pl\u00fcmicke, M.: OBJ\u2013P The Polymorphic Extension of OBJ\u20133. PhD thesis, University of Tuebingen, WSI-99-4 (1999)","key":"15_CR9"},{"unstructured":"Pl\u00fcmicke, M.: Type unification in Generic\u2013Java. In: Kohlhase, M. (ed.) Proceedings of 18th International Workshop on Unification (UNIF 2004) (July 2004)","key":"15_CR10"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Martelli, A., Montanari, U.: An efficient unification algorithm. ACM Transactions on Programming Languages and Systems\u00a04, 258\u2013282 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00675-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T19:24:08Z","timestamp":1710271448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00675-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006746","9783642006753"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00675-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}