We extend the type system for the Lambda Calculus of Objects 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 of. 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.
CITATION STYLE
Bono, V., Bugliesi, M., Dezani-Ciancaglini, M., & Liquori, L. (1997). Subtyping constraints for incomplete objects. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1214, pp. 465–477). Springer Verlag. https://doi.org/10.1007/bfb0030619
Mendeley helps you to discover research relevant for your work.