{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:16Z","timestamp":1725489436956},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-47910-4_14","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:13:47Z","timestamp":1187252027000},"page":"247-267","source":"Crossref","is-referenced-by-count":15,"title":["Type Inference of Self"],"prefix":"10.1007","author":[{"given":"Ole","family":"Agesen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael I.","family":"Schwartzbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"The SELF programmer\u2019s reference manual, version 2.0","author":"O. Agesen","year":"1992","unstructured":"Ole Agesen, Lars Bak, Craig Chambers, Bay-Wei Chang, Urs H\u00f6lzle, John Maloney, Randall B. Smith, and David Ungar. The SELF programmer\u2019s reference manual, version 2.0. Technical report, Sun Microsystems, Inc, 2550 Garcia Avenue, Mountain View, CA 94043, USA, 1992. SMLI document 93-0056. Available by anonymous ftp from self.stanford.edu."},{"key":"14_CR2","unstructured":"Alan H. Borning. Classes versus prototypes in object-oriented languages. In ACM\/IEEE Fall Joint Computer Conference, pages 36\u201340, 1986."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Craig Chambers and David Ungar. Making pure object-oriented languages practical. In Proc. OOPSLA\u201991, ACM SIGPLAN Sixth Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 1\u201315, 1991.","DOI":"10.1145\/117954.117955"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01806106","volume":"4","author":"C. Chambers","year":"1991","unstructured":"Craig Chambers, David Ungar, Bay-Wei Chang, and Urs H\u00f6lzle. Parents are Shared Parts of Objects: Inheritance and Encapsulation in Self. In Lisp and Symbolic Computation 4(3), pages 207\u2013222, Kluwer Acadamic Publishers, June 1991.","journal-title":"Lisp and Symbolic Computation"},{"key":"14_CR5","unstructured":"Adele Goldberg and David Robson. Smalltalk-80\u2014The Language and its Implementation. Addison-Wesley, 1983."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Justin O. Graver and Ralph E. Johnson. A type system for Smalltalk. In Seventeenth Symposium on Principles of Programming Languages, pages 136\u2013150. ACM Press, January 1990.","DOI":"10.1145\/96709.96722"},{"key":"14_CR7","unstructured":"Justin Owen Graver. Type-Checking and Type-Inference for Object-Oriented Programming Languages. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, August 1989. UIUCD-R-89-1539."},{"issue":"11","key":"14_CR8","first-page":"214","volume":"21","author":"H. Lieberman","year":"1986","unstructured":"Henry Lieberman. Using prototypical objects to implement shared behavior in object-oriented systems. In Proc. OOPSLA\u201986, Object-Oriented Programming Systems, Languages and Applications, pages 214\u2013223. Sigplan Notices, 21(11), November 1986.","journal-title":"Proc. OOPSLA\u201986, Object-Oriented Programming Systems, Languages and Applications"},{"key":"14_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BFb0053045","volume-title":"Proc. ECOOP\u201992, Sixth European Conference on Object-Oriented Programming","author":"N. Oxh\u00f8j","year":"1992","unstructured":"Nicholas Oxh\u00f8j, Jens Palsberg, and Michael I. Schwartzbach. Making type inference practical. In Proc. ECOOP\u201992, Sixth European Conference on Object-Oriented Programming, pages 329\u2013349. Springer-Verlag (LNCS 615), Utrecht, The Nether lands, July 1992."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. In Proc. OOPSLA\u201991, ACM SIGPLAN Sixth Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 146\u2013161, Phoenix, Arizona, October 1991.","DOI":"10.1145\/117954.117965"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0020-0190(92)90196-3","volume":"43","author":"J. Palsberg","year":"1992","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Safety analysis versus type inference for partial types. Information Processing Letters, 43:175\u2013180, 1992.","journal-title":"Information Processing Letters"},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/3-540-53982-4_24","volume-title":"Proc. TAPSOFT\u201991","author":"M. I. Schwartzbach","year":"1991","unstructured":"Michael I. Schwartzbach. Type inference with inequalities. In Proc. TAPSOFT\u201991, pages 441\u2013455. Springer-Verlag (LNCS 493), 1991."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"David Ungar and Randall B. Smith. SELF: The power of simplicity. In Proc. OOPSLA\u2019 87, Object-Oriented Programming Systems, Languages and Applications, pages 227\u2013241, 1987. Also published in Lisp and Symbolic Computation 4(3), Kluwer Acadamic Publishers, June, 1991.","DOI":"10.1145\/38765.38828"},{"key":"14_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-55984-1_22","volume-title":"Proc. CC\u201992, 4th International Conference on Compiler Construction, Paderborn, Germany","author":"J. Vitek","year":"1992","unstructured":"Jan Vitek, R. Nigel Horspool, and James S. Uhl. Compile-time analysis of object-oriented programs. In Proc. CC\u201992, 4th International Conference on Compiler Construction, Paderborn, Germany, pages 236\u2013250. Springer-Verlag (LNCS 641), 1992."},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3233\/FI-1987-10202","volume":"X","author":"M. Wand","year":"1987","unstructured":"Mitchell Wand. A simple algorithm and proof for type inference. Fundamentae Informaticae, X:115\u2013122, 1987.","journal-title":"Fundamentae Informaticae"}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T18:11:56Z","timestamp":1629569516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540571209"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_14","relation":{},"subject":[]}}