{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:51Z","timestamp":1725664731519},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:12Z","timestamp":1330279092000},"page":"42-61","source":"Crossref","is-referenced-by-count":34,"title":["A delegation-based object calculus with subtyping"],"prefix":"10.1007","author":[{"given":"Kathleen","family":"Fisher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John C.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A theory of primitive objects: untyped and first-order systems. Tn Proc. Theor. Aspects of Computer Software, pages 296\u2013320. Springer-Verlag LNCS 789, 1994.","DOI":"10.1007\/3-540-57887-0_101"},{"key":"3_CR2","volume-title":"Technical Report UTUCDCS-R-95-1900","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Cardelli. An imperative object calculus: Basic typing and soundness. In SIPL '95 \u2014 Proc. Second ACM SIGPLAN Workshop on State in Programming Languages. Technical Report UTUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995."},{"key":"3_CR3","volume-title":"LNCS 933","author":"V. Bono","year":"1995","unstructured":"V. Bono and L. Liquori. A subtyping for the fisher-honsell-mitchell lambda calculus of objects. Berlin, June 1995. Springer LNCS 933. To appear."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"K. Bruce. Safe type checking in a statically-typed object-oriented programming language. Tn Proc 20th ACM Symp. Principles of Programming Languages, pages 285\u2013298, 1993.","DOI":"10.1145\/158511.158650"},{"key":"3_CR5","unstructured":"K. Bruce and R. van Gent. TOIL: a new type-safe object-oriented imperative language. Manuscript, 1993."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"C. Chambers and D. Ungar. Customization: Optimizing compiler technology for Self, a dynamically-typed object-oriented programming language. In STGPLAN '89 Conf. on Programming Language Design and Implementation, pages 146\u2013160, 1989.","DOI":"10.1145\/74818.74831"},{"key":"3_CR7","unstructured":"M. Ellis and B. Stroustrop. The Annotated C ++ Reference Manual. Addison-Wesley, 1990."},{"key":"3_CR8","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"K. Fisher, F. Honsell, and J.C. Mitchell. A lambda calculus of objects and method specialization. Nordic J. Computing (formerly BIT), 1:3\u201337, 1994. Preliminary version appeared in Proc. IREE Symp. on Logic in Computer Science, 1993, 26\u201338.","journal-title":"Nordic J. Computing (formerly BIT)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"K. Fisher and J.C. Mitchell. Notes on typed object-oriented programming. In Proc. Theoretical Aspects of Computer Software, pages 844\u2013885. Springer LNCS 789, 1994.","DOI":"10.1007\/3-540-57887-0_128"},{"key":"3_CR10","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: The language and its implementation, Addison Wesley, 1983."},{"key":"3_CR11","unstructured":"B. Meyer. Eiffel: The Language. Prentice-Hall, 1992."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell. Toward a typed foundation for method specialization and inheritance. In Proc. 17th ACM Symp. on Principles of Programming Languages, pages 109\u2013124, January 1990.","DOI":"10.1145\/96709.96719"},{"key":"3_CR13","unstructured":"Benjamin C. Pierce. Mutable objects. Draft report; available electronically, June 1993."},{"issue":"2","key":"3_CR14","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B. C. Pierce","year":"1994","unstructured":"Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207\u2013248, 1994.","journal-title":"Journal of Functional Programming"},{"key":"3_CR15","unstructured":"B. Stroustrop. The C ++ Programming Language. Addison-Wesley, 1986."},{"issue":"3","key":"3_CR16","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF01806105","volume":"4","author":"D. Ungar","year":"1991","unstructured":"D. Ungar and R.B. Smith. Self: The power of simplicity. Lisp and Symbolic Computation, 4(3):187\u2013206, 1991. Preliminary version appeared in Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications, 1987, 227\u2013241.","journal-title":"Lisp and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:15Z","timestamp":1619573655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}