Subtyping Constraints for Incomplete Objects: extended abstractReport as inadecuate

Subtyping Constraints for Incomplete Objects: extended abstract - Download this document for free, or read online. Document in PDF available to download.

1 Dipartimento di Informatica Torino 2 Dipartimento di Matematica padova 3 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems CRISAM - Inria Sophia Antipolis - Méditerranée 4 CSELT - Centro Studi e Laboratori Telecomunicazioni

Abstract : 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.

Author: Viviana Bono - Michele Bugliesi - Mariangiola Dezani-Ciancaglini - Luigi Liquori -



Related documents