{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:41Z","timestamp":1725465941728},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630890"},{"type":"electronic","value":"9783540691273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0053378","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:12:53Z","timestamp":1149653573000},"page":"146-169","source":"Crossref","is-referenced-by-count":8,"title":["An extended Theory of Primitive Objects: First order system"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Liquori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"issue":"2","key":"7_CR1","first-page":"240","volume":"1","author":"M. Abadi","year":"1994","unstructured":"M. Abadi. Baby Modula-3 and a Theory of Objects. Journal of Functional Programming, 1(2):240\u2013283, 1994.","journal-title":"Journal of Functional Programming"},{"issue":"2\u20133","key":"7_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0167-6423(95)00010-0","volume":"25","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Cardelli. A Theory of Primitive Objects: Second-Order Systems. Science of Computer Programming, 25(2\u20133):81\u2013116, 1995.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"7_CR3","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1002\/j.1096-9942.1995.tb00016.x","volume":"1","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and L. Cardelli. An Imperative Object Calculus. Theory and Practice of Objects Systems, 1(3):151\u2013166, 1996.","journal-title":"Theory and Practice of Objects Systems"},{"key":"7_CR4","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"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","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: Untyped and First Order System. Information and Computation, 125(2):78\u2013102, 1996.","journal-title":"Information and Computation"},{"key":"7_CR6","volume-title":"volume 103 of Studies in Logic and the Foundations of Mathematics","author":"H. P. Barendregt","year":"1984","unstructured":"H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, revised edition, 1984.","edition":"revised edition"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"V. Bono and M. Bugliesi. Matching Constraint for the Lambda Calculus of Objects. In Proc. of TLCA-97, LNCS. Springer-Verlag, 1997. To appear.","DOI":"10.1007\/3-540-62688-3_28"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constraint for Incomplete Objects. In Proc. of CAAP-97, LNCS. Springer-Verlag, 1997. To appear.","DOI":"10.1007\/BFb0030619"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In Proc. of MFCS-96, volume 1113 of LNCS, pages 218\u2013229. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61550-4_150"},{"key":"7_CR10","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-94, volume 933 of LNCS, pages 16\u201330. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0022244"},{"key":"7_CR11","first-page":"16","volume":"952","author":"K.B. Bruce","year":"1995","unstructured":"K.B. Bruce, A. Shuett, and R. van Gent. Poly toil: a Type-safe Polymorphic Object-Oriented Language. In Proc. of ECOOP-95, volume 952 of LNCS, pages 16\u201330, 1995.","journal-title":"LNCS"},{"issue":"1","key":"7_CR12","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"},{"issue":"3","key":"7_CR13","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1002\/j.1096-9942.1995.tb00018.x","volume":"1","author":"K. Fisher","year":"1995","unstructured":"K. Fisher and J. C. Michell. The Development of Type Systems for Object Oriented Languages. Theory and Practice of Objects Systems, 1(3):189\u2013220, 1995.","journal-title":"Theory and Practice of Objects Systems"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT-95, volume 965 of LNCS, pages 42\u201361. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60249-6_40"},{"key":"7_CR15","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983."},{"key":"7_CR16","volume-title":"Technical Report CS-23-96","author":"L. Liquori","year":"1996","unstructured":"L. Liquori. An Extended Theory of Primitive Objects. Technical Report CS-23-96, Computer Science Department, University of Turin, Italy, 1996."},{"key":"7_CR17","unstructured":"L. Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. PhD thesis, University of Turin, February 1996."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"L. Liquori and G. Castagna. A Typed Lambda Calculus of Objects. In Proc. of Asian-96, volume 1212 of LNCS, pages 129\u2013141. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0027786"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1006\/inco.1995.1168","volume":"123","author":"J. Palsberg","year":"1995","unstructured":"J. Palsberg. Efficient Inference of Object Types. Information and Computation, 123:198\u2013209, 1995.","journal-title":"Information and Computation"},{"key":"7_CR20","volume-title":"Technical Report DAIMI FN-19","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, Denmark, 1981."},{"key":"7_CR21","unstructured":"D. Remy. Refined Subtyping and Row Variables for Record Types. Draft, 1995."}],"container-title":["Lecture Notes in Computer Science","ECOOP'97 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T09:03:59Z","timestamp":1586941439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053378"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630890","9783540691273"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0053378","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}