{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:22Z","timestamp":1725465922980},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614395"},{"type":"electronic","value":"9783540685708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0053056","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T00:07:29Z","timestamp":1149638849000},"page":"48-72","source":"Crossref","is-referenced-by-count":2,"title":["Typed object-oriented functional programming with late binding"],"prefix":"10.1007","author":[{"given":"Zhenyu","family":"Qian","sequence":"first","affiliation":[]},{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,21]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Special issue on type systems for object-oriented programming. J. Functional Programming, 4(2), 1994.","DOI":"10.1017\/S0956796800001015"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A theory of primitive objects: second-order systems. In Proc. European Symp.\/ on Programming. Springer LNCS, 1994.","DOI":"10.1007\/3-540-57880-3_1"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A theory of primitive objects: untyped and first-order systems. In Proc. Theoretical Aspects of Computer Software. Springer LNCS, 1994.","DOI":"10.1007\/3-540-57887-0_101"},{"key":"5_CR4","unstructured":"Apple Computer Inc., Eastern Research and Technology. Dylan: an object-oriented dynamic language. Technical report, 1992."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"D. Bobrow, L. DeMichiel, R. Gabriel, S. Keene, G. Kiczales, and D. Moon. Common List Object System Specification. SIGPLAN Notice, 23, 1988.","DOI":"10.1145\/885631.885632"},{"key":"5_CR6","unstructured":"K. Bruce. Typing in object-oriented languages: Achieving expressibility and safety. Technical report, Williams College, 1995. http:\/\/www.cs.williams.edu\/~kim\/."},{"key":"5_CR7","unstructured":"K. Bruce, A. Schuett, and R. van Gent. PolyTOIL: A type-safe polymorphic object-oriented language (extended abstract). In Proc. 9th ECOOP. Springer LNCS, 1995."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, and W. Olthoff. Interfaces for strongly-typed object-oriented programming. In Proc. OOPSLA'89, pages 457\u2013467. 1989.","DOI":"10.1145\/74877.74924"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:130\u2013164, 1988.","journal-title":"Information and Computation"},{"key":"5_CR10","unstructured":"L. Cardelli. Extensible records in a pure calculus of subtyping. In C. Gunter and J. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1994."},{"issue":"4","key":"5_CR11","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 semantics for Quest. J. of Functional programming, 1(4):417\u2013458, 1991.","journal-title":"J. of Functional programming"},{"issue":"4","key":"5_CR12","doi-asserted-by":"publisher","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, 1985.","journal-title":"Computing Surveys"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"G. Castagna. Covariance and contravariance: Conflict without a cause. Trans. on Prog. Lang. and Sys., 17(3), 1995.","DOI":"10.1145\/203095.203096"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"G. Castagna. Integration of parametric and ad hoc second order polymorphism in a calculus with subtyping. Formal Aspects of Computing, 1995. To appear.","DOI":"10.1007\/BF01214916"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 1995. To appear.","DOI":"10.1006\/inco.1995.1033"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"W. Cook. A proposal for making eiffel type-safe. In Proc. European Conf. on Object-oriented Programming, 1989.","DOI":"10.1093\/comjnl\/32.4.305"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"W. Cook, W. Hill, and P. Canning. Inheritance is not subtyping. In Proc. 17th ACM Symp. Principles of Programming Languages. 1990.","DOI":"10.1145\/96709.96721"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"P.-L. Curien and G. Ghelli. Coherence of subsumption, minimum typing and the type checking in F \u2264 . Mathematical Structiures in Computer Science, 2(1), 1992.","DOI":"10.1017\/S0960129500001134"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type schemes for functional programs. In Proc. 9th ACM Symp. Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(90)90144-7","volume":"73","author":"Y.-C. Fuh","year":"1990","unstructured":"Y.-C. Fuh and P. Mishra. Type inference with subtypes. Theoretical Computer Science, 73:155\u2013175, 1990.","journal-title":"Theoretical Computer Science"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Proc. 12th ACM Symp. Principles of Programming Languages, pages 52\u201366, 1985.","DOI":"10.1145\/318593.318610"},{"key":"5_CR22","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":"5_CR23","unstructured":"G. Ghelli. Divergence of F \u2264 type checking. Tech. Rep. 5\/93, University of Pisa, 1993."},{"key":"5_CR24","unstructured":"J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, polymorphism, and partial operations. Technical report, SRI, 1989."},{"key":"5_CR25","unstructured":"C. Gunter and J. Mitchell (Eds.). Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1994."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"R. Harper and J. Mitchell. The essence of ML. In Proc. 15th ACM Symp. Principles of Programming Languages, pages 28\u201346, 1988.","DOI":"10.1145\/73560.73563"},{"issue":"2","key":"5_CR27","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/169701.169692","volume":"15","author":"F. Henglein","year":"1993","unstructured":"F. Henglein. Type inference with polymrophic recursion. ACM Trans. on Prog. Lang. and Sys., 15(2):253\u2013289, 1993.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"M. Hoang and J. Mitchell. Lower bounds on type inference with subtypes. In Proc. 22nd ACM Symp. Principles of Programming Languages, pages 176\u2013185, 1995.","DOI":"10.1145\/199448.199481"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. Peyton Jones, and P. Wadler (Editors). Report on the programming language Haskell: A non-strict, purely functional language (version 1.2). ACM SIGPLAN Notices, 27(5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"5_CR30","unstructured":"J. Hughes and J. Sparud. Haskell++: An object-oriented extension of haskell. In Proc. 1995 Workshop on Haskell, 1995."},{"issue":"2","key":"5_CR31","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/169701.169687","volume":"15","author":"A. Kfoury","year":"1993","unstructured":"A. Kfoury, J. Tiuryn, and P. Urzyczyn. Type reconstruction in the presence of polymrophic recursion. ACM Trans. on Prog. Lang. and Sys., 15(2):290\u2013311, 1993.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"5_CR32","volume-title":"Combining type classes and existential types","author":"K. L\u00e4ufer","year":"1994","unstructured":"K. L\u00e4ufer. Combining type classes and existential types. In Proc. Latin American Informatics Conference (PANEL). ITESM-CEM, Mexico, Sept. 1994."},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"K. L\u00e4ufer and M. Odersky. Polymorphic type inference and abstract data types. ACM Transactions on Programming Languages and Systems, 1994.","DOI":"10.1145\/186025.186031"},{"key":"5_CR34","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1988."},{"key":"5_CR35","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990."},{"issue":"3","key":"5_CR36","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1145\/44501.45065","volume":"10","author":"J. Mitchell","year":"1988","unstructured":"J. Mitchell and G. Plotkin. Abstract types have existential type. ACM Trans. on Prog. Lang. and Sys, 10(3):475\u2013502, 1988.","journal-title":"ACM Trans. on Prog. Lang. and Sys"},{"key":"5_CR37","first-page":"217","volume":"167","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft. Polymorphic type schemes and recursive definitions. In Proc. Int. Symposium on Programming, pages 217\u2013228. Springer LNCS 167, 1984.","journal-title":"Springer LNCS"},{"issue":"2","key":"5_CR38","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1017\/S0956796800001325","volume":"5","author":"T. Nipkow","year":"1995","unstructured":"T. Nipkow and C. Prehofer. Type reconstruction for type classes. Journal of Functional Programming, 5(2):201\u2013224, 1995.","journal-title":"Journal of Functional Programming"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"A. Ohori. A compilation method for ML-style polymorphic record calculi. In Proc. 19th ACM Symp. Principles of Programming Languages, pages 154\u2013165, 1992.","DOI":"10.1145\/143165.143200"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"J. Palsberg. Efficient type inference of object types. In Proc. IEEE Symposium on Logic in Computer Science, pages 186\u2013195, 1994.","DOI":"10.1109\/LICS.1994.316073"},{"issue":"2","key":"5_CR41","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B. Pierce","year":"1994","unstructured":"B. Pierce and D. Turner. Simple type-theoretical foundations for object-oriented programming. J. of Functional Programming, 4(2):207\u2013247, 1994.","journal-title":"J. of Functional Programming"},{"issue":"1","key":"5_CR42","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1055","volume":"112","author":"B. C. Pierce","year":"1994","unstructured":"B. C. Pierce. Bounded quantification is undecidable. Information and Computation, 112(1):131\u2013165, 1994.","journal-title":"Information and Computation"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Z. Qian and B. Krieg-Br\u00fcckner. TOFL: a typed object-oriented functional programming language with late binding. Technical report, FB Informatik, Universit\u00e4t Bremen, March 1996.","DOI":"10.1007\/BFb0053056"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Z. Qian and B. Krieg-Br\u00fcckner. Object-oriented functional programming and type reconstruction. Nov. 1995. Submitted for publication.","DOI":"10.1007\/3-540-61629-2_58"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"D. R\u00e9my. Typechecking records and variants in a natural extension of ml. In Proc. 16th ACM Symp. Principles of Programming Languages, pages 77\u201387, 1989.","DOI":"10.1145\/75277.75284"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"G. S. Smith. Polymorphic type inference with overloading and subtyping. In J.-P. J. M.-C. Gaudel, editor, Proc. TAPSOFT'93, pages 670\u2013685. Springer LNCS 668, 1993.","DOI":"10.1007\/3-540-56610-4_97"},{"key":"5_CR47","unstructured":"C. Strachey. Fundamental concepts in programming languages. In Lecture Notes for the Int. Summer School in Computer Programming, Copenhagen, August 1967."},{"key":"5_CR48","first-page":"208","volume":"782","author":"C. Szyperski","year":"1993","unstructured":"C. Szyperski, S. Omohundro, and S. Murer. Engineering a programming language: The type and class system for Sather. In Programming Languages and System Architectures, pages 208\u2013227. Springer LNCS 782, 1993.","journal-title":"Springer LNCS"},{"key":"5_CR49","doi-asserted-by":"crossref","unstructured":"P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad hoc. In Proc. 16th ACM Symp. Principles of Programming Languages, pages 60\u201376, 1989.","DOI":"10.1145\/75277.75283"},{"key":"5_CR50","unstructured":"M. Wand. Complete type inference for simple objects. In Proc. 2nd IEEE Symp. Logic in Cornp. Sci., 1987. Corrigendum in Proc. 3rd IEEE Symp. Logic in Comp. Sci., 1988."}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201996 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T05:03:20Z","timestamp":1586927000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614395","9783540685708"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/bfb0053056","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}