{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:22Z","timestamp":1725665002044},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626886"},{"type":"electronic","value":"9783540684381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62688-3_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:48:47Z","timestamp":1330278527000},"page":"46-62","source":"Crossref","is-referenced-by-count":10,"title":["Matching constraints for the Lambda Calculus of Objects"],"prefix":"10.1007","author":[{"given":"Viviana","family":"Bono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Bugliesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. An Imperative Objects Calculus. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, Proceedings of TAPSOFT'95: Theory and Practice of Software Development, volume 915 of LNCS, pages 471\u2013485. Springer-Verlag, May 1995.","DOI":"10.1007\/3-540-59293-8_214"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. On Subtyping and Matching. In Proceedings of ECOOP'95: European Conference on Object-Oriented Programming, volume 952 of LNCS, pages 145\u2013167. Springer-Verlag, August 1995.","DOI":"10.1007\/3-540-49538-X_8"},{"issue":"2","key":"4_CR3","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1006\/inco.1996.0024","volume":"125","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and L. Cardelli. A Theory of Primitive Objects. Information and Computation, 125(2):78\u2013102, March 1996.","journal-title":"Information and Computation"},{"key":"4_CR4","unstructured":"V. Bono and M. Bugliesi. Matching Lambda Calculus of Objects. Submitted for publication, 1996."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In Proc. of MFCS, volume 1113 of Lecture Notes in Computer Science, pages 218\u2013229. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61550-4_150"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"V. Bono, M. Bugliesi, M.Dezani, and L. Liquori. Subtyping Constraints for Incomplete Objects. In Proc. of CAAP, Lecture Notes in Computer Science. Springer-Verlag, 1997. To appear.","DOI":"10.1007\/BFb0030619"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL, volume 933 of Lecture Notes in Computer Science, pages 16\u201330. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0022244"},{"issue":"4","key":"4_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"1","author":"K.B. Bruce","year":"1994","unstructured":"K.B. Bruce. A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantcs. Journal of Functional Programming, 1(4):127\u2013206, 1994.","journal-title":"Journal of Functional Programming"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"138","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:138\u2013164, 1988.","journal-title":"Information and Computation"},{"issue":"1","key":"4_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1017\/S0960129500000049","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"L. Cardelli and J.C. Mitchell. Operations on Records. Mathematical Structures in Computer Sciences, 1(1):3\u201348, 1991.","journal-title":"Mathematical Structures in Computer Sciences"},{"issue":"4","key":"4_CR11","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, 1985.","journal-title":"Computing Surveys"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"W. Cook. A Self-ish Model of Inheritance. Manuscript, 1987.","DOI":"10.1145\/62138.62143"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"W. Cook, W. Hill, and P. Canning. Inheritance is not Subtyping. In Proc. of ACM Symp. POPL, pages 125\u2013135. ACM Press, 1990.","DOI":"10.1145\/96709.96721"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.","DOI":"10.1145\/74877.74922"},{"issue":"1","key":"4_CR15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper R., Honsell F. and Plotkin G.. A Framework for Defining Logics. J.ACM, 40(1):143\u2013184, 1993.","journal-title":"J.ACM"},{"issue":"1","key":"4_CR16","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 Journal of Computing, 1(1):3\u201337, 1994.","journal-title":"Nordic Journal of Computing"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT, volume 965 of Lecture Notes in Computer Science, pages 42\u201361. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60249-6_40"},{"key":"4_CR18","unstructured":"M. Wand. Complete Type Inference for Simple Objects. In Proc. of IEEE Symp. LICS, pages 37\u201344. Silver Spring, 1987."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62688-3_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:20:40Z","timestamp":1640931640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62688-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626886","9783540684381"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-62688-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}