1. Subtyping Constraints for Incomplete Objects
- Author
-
Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Viviana Bono, Luigi Liquori, Dipartimento di Informatica [Torino], Università degli studi di Torino ( UNITO ), Dipartimento di Matematica [padova], Universita degli Studi di Padova, Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems ( LOGNET ), Inria Sophia Antipolis - Méditerranée ( CRISAM ), Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ), Centro Studi e Laboratori Telecomunicazioni ( CSELT ), Università degli studi di Torino = University of Turin (UNITO), Università degli Studi di Padova = University of Padua (Unipd), Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), and Centro Studi e Laboratori Telecomunicazioni (CSELT)
- Subjects
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] ,Subtyping ,Lambda cube ,Rendering (computer graphics) ,[ INFO.INFO-PL ] Computer Science [cs]/Programming Languages [cs.PL] ,[ INFO.INFO-CL ] Computer Science [cs]/Computation and Language [cs.CL] ,[ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] ,Bounded quantification ,System F-sub ,Lambda calculus ,Algorithm ,computer ,Covariance and contravariance ,Mathematics ,computer.programming_language - Abstract
International audience; We extend the type system for the Lambda Calculus of Objects [14] to account for a notion of width subtyping. The main novelties over previous work are the use of bounded quantification to achieve 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 [14]. In particular, 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) complete freedom in the order of method addition.
- Published
- 1997
- Full Text
- View/download PDF