{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:33Z","timestamp":1725663153059},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_36","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:18:31Z","timestamp":1330183111000},"page":"151-172","source":"Crossref","is-referenced-by-count":2,"title":["On type inference for object-oriented programming languages"],"prefix":"10.1007","author":[{"given":"Hans","family":"Lei\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","volume-title":"The Lambda Calculus. Its Syntax and Semantics. Revised Edition. Studies in Logic and the Foundations of Mathematics, Vol. 103","author":"H. Barendregt","year":"1984","unstructured":"H. Barendregt [1984]: The Lambda Calculus. Its Syntax and Semantics. Revised Edition. Studies in Logic and the Foundations of Mathematics, Vol. 103 North-Holland Publishing Co., Amsterdam 1984"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"H.J.Boehm [1985]: Partial polymorphic type inference is undecidable. 26th Annual Symposium on Foundations of Computer Science (1985), p.339\u2013345","DOI":"10.1109\/SFCS.1985.44"},{"key":"12_CR3","unstructured":"K.B.Bruce, P.Wegner [1986]: An Algebraic Model of Subtype and Inheritance (Extended Abstract). Preprint Sept. 1986, Williams College, Brown University"},{"key":"12_CR4","unstructured":"A.H.Borning, D.H.H.Ingalls [1982]: A Type Declaration and Inference System for Smalltalk. Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages (1982), p. 133\u2013139"},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume":"173","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli [1984]: A Semantics of Multiple Inheritance. Proceedings of the International Symposium on Semantics of Data Types, LNCS 173, p. 51\u201367, Springer-Verlag, Berlin 1984","journal-title":"Proceedings of the International Symposium on Semantics of Data Types, LNCS"},{"issue":"4","key":"12_CR6","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli, P. Wegner [1985]: On Understanding Types, Data abstraction, and Polymorphism. Computing Surveys, vol. 17, no. 4, December 1985, p. 471\u2013522","journal-title":"Computing Surveys"},{"key":"12_CR7","unstructured":"A.Goldberg, D.Robson [1983]: Smalltalk-80: The Language and its Implementation. Addison-Wesley Publishing Company, Reading, Massachusetts 1983"},{"key":"12_CR8","first-page":"29","volume":"146","author":"J.R. Hindley","year":"1969","unstructured":"J.R. Hindley[1969]: The Principal Type-Scheme of an Object in Combinatory Logic. Transactions of the AMS 146 (1969), p. 29\u201360","journal-title":"Transactions of the AMS"},{"volume-title":"To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","year":"1980","key":"12_CR9","unstructured":"J.R. Hindley, J.P. Seldin (eds.) [1980]: To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York and London, 1980"},{"key":"12_CR10","unstructured":"W.Howard [1980]: The formulae-as-types notion of construction, in: J.R.Hindley, J.P.Seldin (eds.) [1980], p. 479\u2013490"},{"issue":"11","key":"12_CR11","first-page":"315","volume":"21","author":"R.E. Johnson","year":"1986","unstructured":"R.E. Johnson [1986]: Type-Checking Smalltalk. Proceedings of the First ACM Symposium on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '86), p. 315\u2013321 Special Issue of SIGPLAN Notices vol.21, no.11, Nov. 1986","journal-title":"Proceedings of the First ACM Symposium on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '86)"},{"key":"12_CR12","unstructured":"D.MacQueen, G.Plotkin, R.Sethi [1984]: An ideal model for recursive polymorphic types. Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages (1984), p. 165\u2013174"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner [1978]: A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences 17 (1978), p. 348\u2013375","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/3-540-13346-1_13","volume":"173","author":"J.C. Mitchell","year":"1984","unstructured":"J.C. Mitchell [1984]: Type Inference and Type Containment. Proceedings of the International Symposium on Semantics of Data Types. LNCS 173, p. 257\u2013277, Springer-Verlag, Berlin 1984","journal-title":"Proceedings of the International Symposium on Semantics of Data Types. LNCS"},{"key":"12_CR15","unstructured":"J.C.Mitchell [1986]: Polymorphic type inference and containment (Revised Draft, July 9, 1986). To appear in: Information and Control."},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-12925-1_41","volume":"167","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft[1984]: Polymorphic Type Schemes and Recursive Definitions. Proceedings of the International Symposium on Programming, 6th Colloquium, LNCS 167, p. 217\u2013228, Springer-Verlag, Berlin 1984","journal-title":"Proceedings of the International Symposium on Programming, 6th Colloquium, LNCS"},{"key":"12_CR17","first-page":"97","volume":"185","author":"J.C. Reynolds","year":"1985","unstructured":"J.C. Reynolds [1985]: Three Approaches to Type Structure. TAPSOFT advanced Seminar on the Role of Semantics in Software Development. LNCS 185, p. 97\u2013138, Springer-Verlag, Berlin 1985","journal-title":"TAPSOFT advanced Seminar on the Role of Semantics in Software Development. LNCS"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"N.Suzuki [1981]: Inferring Types in Smalltalk. Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages (1981), p. 187\u2013199","DOI":"10.1145\/567532.567553"}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:43Z","timestamp":1605629863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}