{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:41:40Z","timestamp":1743154900089,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565178"},{"type":"electronic","value":"9783540475866"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0037101","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:21:36Z","timestamp":1138184496000},"page":"107-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A semantics for \u03bb &-early: a calculus with overloading and early binding"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Ghelli","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Longo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,28]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, and P.-L. Curien. Formal parametric polymorphism. In Ann. ACM Symp. on Principles of Programming Languages. ACM, ACM-press, 1993. Extended abstract.","DOI":"10.1145\/158511.158622"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"H A\u00eft-Kaci and A. Podelski. Towards a meaning of LIFE. Technical Report 11, Digital, Paris Research Laboratory, June 1991.","DOI":"10.1007\/3-540-54444-5_104"},{"key":"8_CR3","unstructured":"A. Asperti and G. Longo. Categories, Types and Structures: An Introduction to Category Theory for the Working Computer Scientist. MIT-Press, 1991."},{"key":"8_CR4","volume-title":"Technical Report 19","author":"R. Amadio","year":"1990","unstructured":"R. Amadio. Domains in a realizability framework. Technical Report 19, Laboratoire d'Informatique, Ecole Normale Sup\u00e9rieure-Paris, 1990."},{"issue":"1\/2","key":"8_CR5","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/0890-5401(90)90062-M","volume":"87","author":"K.B. Bruce","year":"1990","unstructured":"K.B. Bruce and G. Longo. A modest model of records, inheritance and bounded quantification. Information and Computation, 87(1\/2):196\u2013240, 1990. A preliminary version can be found in 3rd Ann. Symp. on Logic in Computer Science, 1988.","journal-title":"Information and Computation"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"K.B. Bruce. The equivalence of two semantic definitions of inheritance in object-oriented languages. In Proceedings of the 6th International Conference on Mathematical Foundation of Programming Semantics, 1991. to appear.","DOI":"10.1007\/3-540-55511-0_5"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138\u2013164, 1988. A first version can be found in Semantics of Data Types, LNCS 173, 51\u201367, Springer-Verlag, 1984.","journal-title":"Information and Computation"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P.S. Canning, W.R. Cook, W.L. Hill, J. Mitchell, and W.G. Orthoff. F-bounded quantification for object-oriented programming. In ACM Conference on Functional Programming and Computer Architecture, September 1989.","DOI":"10.1145\/99370.99392"},{"key":"8_CR9","first-page":"182","volume-title":"A calculus for overloaded functions with subtyping","author":"G. Castagna","year":"1992","unstructured":"G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. In ACM Conference on LISP and Functional Programming, pages 182\u2013192, San Francisco, July 1992. ACM Press. Extended abstract."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Technical Report 92\u20134, Laboratoire d'Informatique, Ecole Normale Sup\u00e9rieure-Paris, February 1992.","DOI":"10.1145\/141478.141537"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"W.R. Cook, W.L. Hill, and P.S. Canning. Inheritance is not subtyping. 17th Ann. ACM Symp. on Principles of Programming Languages, January 1990.","DOI":"10.1145\/96709.96721"},{"issue":"4","key":"8_CR12","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"L. Cardelli and G. Longo. A semantic basis for Quest. Journal of Functional Programming, 1(4):417\u2013458, 1991.","journal-title":"Journal of Functional Programming"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"L. Cardelli, S. Martini, J.C. Mitchell, and A. Scedrov. An extension of system F with subtyping. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, pages 750\u2013771. Springer-Verlag, September 1991. LNCS 526 (preliminary version). To appear in Information and Computation.","DOI":"10.1007\/3-540-54415-1_73"},{"issue":"4","key":"8_CR14","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction and polymorphism. Computing Surveys, 17(4):471\u2013522, December 1985.","journal-title":"Computing Surveys"},{"key":"8_CR15","series-title":"number 489 in LNCS","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BFb0019448","volume-title":"Foundations of Object-Oriented Languages","author":"G. Ghelli","year":"1991","unstructured":"G. Ghelli. Modelling features of object-oriented languages in second order functional languages with subtypes. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, number 489 in LNCS, pages 311\u2013340, Berlin, 1991. Springer-Verlag."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"G. Ghelli. A static type system for message passing. In Proc. of OOPSLA '91, 1991.","DOI":"10.1145\/117954.117964"},{"key":"8_CR17","unstructured":"J-Y. Girard. Interpr\u00e9tation fouctionelle et \u00e9limination des coupures dans l'arithmetique d'ordre sup\u00e9rieur. Th\u00e8se de doctorat d'\u00e9tat, 1972. Universit\u00e9 Paris VII."},{"key":"8_CR18","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. EQLOG: equality, types and generic modules for logic programming. In deGroot and Lindstrom, editors, Functional and Logic Programming. Prentice-Hall, 1985."},{"key":"8_CR19","unstructured":"J.A. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, Computer Science Laboratory, SRI International, July 1989."},{"key":"8_CR20","unstructured":"S.K. Keene. Object-Oriented Programming in Common Lisp: A Programming Guide to CLOS. Addison-Wesley, 1989."},{"issue":"2","key":"8_CR21","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1017\/S0960129500001298","volume":"1","author":"G. Longo","year":"1991","unstructured":"G. Longo and E. Moggi. Constructive natural deduction and its \u03c9-set interpretation. Mathematical Structures in Computer Science, 1(2):215\u2013253, 1991.","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR22","unstructured":"G Longo, K. Milsted, and S. Soloviev. The genericity theorem and parametricity in functional languages. Technical report, Digital, Paris Reserch Lab., 1992."},{"key":"8_CR23","unstructured":"Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall International Series, 1988."},{"key":"8_CR24","unstructured":"NeXT Computer Inc. NeXTstep-concepts. Chapter 3: Object-Oriented Programming and Objective-C, 2.0 edition, 1991."},{"key":"8_CR25","unstructured":"B.C. Pierce. Type-theoretic foundations for object-oriented programming. Technical report, LFCS, Departement of Computer Science, University of Edinburgh, May 1992. Lecture note for a short course."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"B.C. Pierce and D.N. Turner. Object-oriented programming without recursive types. In 10th Ann. ACM Symp. on Principles of Programming Languages. ACM-Press, 1993.","DOI":"10.1145\/158511.158653"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"D. R\u00e9my. Typechecking records and variants in a natural extension of ML. In Ann. ACM Symp. on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75284"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"J.C. Reynolds. Polymorphism is not set-theoretic. LNCS, 173, 1984.","DOI":"10.1007\/3-540-13346-1_7"},{"key":"8_CR29","first-page":"522","volume":"5","author":"D. Scott","year":"1976","unstructured":"D. Scott. Data-types as lattices. S. I. A. M. J. Comp., 5:522\u2013587, 1976.","journal-title":"S. I. A. M. J. Comp."},{"key":"8_CR30","unstructured":"Mitchell Wand. Complete type inference for simple objects. In 2nd Ann. Symp. on Logic in Computer Science, 1987."},{"key":"8_CR31","unstructured":"Mitchell Wand. Type inference for record concatenation and multiple inheritance. In 4th Ann. Symp. on Logic in Computer Science, 1989."},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Philip Wadler and Stephen Blott. How to make \u201cad-hoc\u201d polymorphism less \u201cad-hoc\u201d. In 16th Ann. ACM Symp. on Principles of Programming Languages, pages 60\u201376, 1989.","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T15:48:29Z","timestamp":1578498509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037101"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565178","9783540475866"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0037101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"28 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}