{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:05Z","timestamp":1725456245626},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/bfb0030619","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T01:10:41Z","timestamp":1133399441000},"page":"465-477","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Subtyping constraints for incomplete objects"],"prefix":"10.1007","author":[{"given":"Viviana","family":"Bono","sequence":"first","affiliation":[]},{"given":"Michele","family":"Bugliesi","sequence":"additional","affiliation":[]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Liquori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"issue":"2","key":"38_CR1","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S0956796800001052","volume":"4","author":"M. Abadi","year":"1994","unstructured":"M. Abadi. Baby Modula-3 and a Theory of Objects. Journal of Functional Programming, 4(2):249\u2013283, 1994.","journal-title":"Journal of Functional Programming"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. On Subtyping and Matching. In ECOOP'95, LNCS 952, 145\u2013167. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-49538-X_8"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"V. Bono and M. Bugliesi. Matching Constraints for the Lambda Calculus of Objects. In TLCA'97, LNCS. Springer-Verlag, 1997. To appear.","DOI":"10.1007\/3-540-62688-3_28"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constraints for Incomplete Objects. Technical Report CS-34-97, Computer Science Department, Turin University, 1996.","DOI":"10.1007\/BFb0030619"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In MFCS'96, LNCS 1113, 218\u2013229. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61550-4_150"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In CSL'94, LNCS 933, 16\u201330. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0022244"},{"issue":"2","key":"38_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"4","author":"K.B. Bruce","year":"1994","unstructured":"K.B. Bruce. A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. Journal of Functional Programming, 4(2):127\u2013206, 1994.","journal-title":"Journal of Functional Programming"},{"key":"38_CR9","doi-asserted-by":"publisher","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":"38_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":"38_CR11","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":"38_CR12","doi-asserted-by":"crossref","unstructured":"W. Cook, W. Hill, and P. Canning. Inheritance is not Subtyping. In POPL'90, 125\u2013135. ACM Press, 1990.","DOI":"10.1145\/96709.96721"},{"key":"38_CR13","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":"38_CR14","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":"38_CR15","doi-asserted-by":"crossref","unstructured":"K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In FCT'95, LNCS 965, 42\u201361. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60249-6_40"},{"key":"38_CR16","unstructured":"A. Goldberg and D. Robson. Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983."},{"issue":"1","key":"38_CR17","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"R. Harper, F. Honsell, and G. Plotkin. A Framework for Defining Logics. J.ACM, 40(1):143\u2013184, 1993.","journal-title":"J.ACM"},{"key":"38_CR18","unstructured":"L. Liquori. An Extended Theory of Primitive Objects. Technical Report CS-23-96, Computer Science Department, Turin University, 1996."},{"key":"38_CR19","doi-asserted-by":"crossref","unstructured":"L. Liquori and B. Castagna. A Typed Lambda Calculus of Objects. In Asian'96 LNCS 1179, 129\u2013141. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0027786"},{"key":"38_CR20","unstructured":"D. R\u00e9my. Refined Subtyping and Row Variables for Record Types. Draft, 1995."},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"D. Ungar and R. B. Smith. Self: the Power of Simplicity. In OOPSLA '87 227\u2013241 ACM Press, 1987.","DOI":"10.1145\/38765.38828"},{"key":"38_CR22","unstructured":"M. Wand. Complete Type Inference for Simple Objects. In LICS'87, 37\u201344. Silver Spring, 1987."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:36:42Z","timestamp":1578526602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030619"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0030619","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"20 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}