{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T04:10:51Z","timestamp":1751429451732,"version":"3.41.0"},"reference-count":0,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[1999,7]]},"abstract":"<jats:p> We extend the type system for the Lambda Calculus of Objects [16] with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the use of subtype-bounded quantification to capture a new and more direct rendering of MyType polymorphism, and a uniform treatment for other features that were accounted for via different systems in subsequent extensions [7, 6] of [16]. The new system provides for (i) appropriate type specialization of inherited methods, (ii) static detection of errors, (iii) width subtyping compatible with object extension, and (iv) sound typing for partially specified objects. <\/jats:p>","DOI":"10.3233\/fi-1999-38401","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T02:50:39Z","timestamp":1575341439000},"page":"325-364","source":"Crossref","is-referenced-by-count":7,"title":["A Subtyping for Extensible, Incomplete Objects"],"prefix":"10.1177","volume":"38","author":[{"given":"Viviana","family":"Bono","sequence":"first","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, 1-10149 Torino, Italy. V.Bono@cs.bham.ac.uk"}]},{"given":"Michele","family":"Bugliesi","sequence":"additional","affiliation":[{"name":"Dipartimento di Matematica, Universit\u00e0 di Padova, Via Belzoni 7, 1-35131 Padova, Italy. michele@dsi.unive.it"}]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, C.so Svizzera 185, 1-10149 Torino, Italy. dezani@di.unito.it"}]},{"given":"Luigi","family":"Liquori","sequence":"additional","affiliation":[{"name":"Dipartimento di Matematica ed Informatica, Universit\u00e0 di Udine, Via delle Scienze 206, 1-33100 Udine, Italy. liquori@ens-lyon.fr"}]}],"member":"179","published-online":{"date-parts":[[1999,1,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1999-38401","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1999-38401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T10:50:57Z","timestamp":1751367057000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-1999-38401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1,1]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["10.3233\/FI-1999-38401"],"URL":"https:\/\/doi.org\/10.3233\/fi-1999-38401","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"type":"print","value":"0169-2968"},{"type":"electronic","value":"1875-8681"}],"subject":[],"published":{"date-parts":[[1999,1,1]]}}}