A Subtyping for Extensible, Incomplete Objects

Fundamenta Informaticae

Volumn 38, Issue 4, 1999, Pages 325-364

  Bono, Viviana ^a,d   Bugliesi, Michele ^b,e   Dezani Ciancaglini, Mariangiola ^a   Liquori, Luigi ^c,f  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF PADOVA   (Italy)

^c UNIVERSITY OF UDINE   (Italy)

^d UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^e CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^f UNIVERSITÉ DE LYON   (France)

Author keywords

Objects; Subtyping; Type Soundness; Type System

Indexed keywords

EID: 0346935090     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-38401     Document Type: Article

References (26)

1. M. Abadi. Baby Modula-3 and a Theory of Objects. Journal of Functional Programming, 4(2):249-283, 1994.
2. M. Abadi and L. Cardelli. On Subtyping and Matching. In ECOOP'95, LNCS 952, 145-167, Springer-Verlag, 1995.
3. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
4. V. Bono and M. Bugliesi. Matching Constraints for the Lambda Calculus of Objects. In TLCA'97, LNCS 1210, 46-62, Springer-Verlag, 1997.
5. V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constraints for Incomplete Objects. In CAAP'97, LNCS 1214, 465-477, Springer-Verlag, 1997.
6. V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In MFCS'96, LNCS 1113, 218-229, Springer-Verlag, 1996.
7. V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In CSL'94, LNCS 933, 16-30, Springer-Verlag, 1995.
8. K.B. Bruce. A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. Journal of Functional Programming, 4(2):127-206, 1994.
9. L. Cardelli. A Semantics of Multiple Inheritance. Information and Computation, 76:138-164, 1988.
10. L. Cardelli. A Language with Distributed Scope. Computing Survey, 8(1):27-59, 1995.
11. L. Cardelli and J.C. Mitchell. Operations on Records. Mathematical Structures in Computer Sciences, 1(1):3-48, 1991.
12. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction and Polymorphism. Computing Surveys, 17(4):471-522, 1985.
13. W. Cook, W. Hill, and P. Canning. Inheritance is not Subtyping. In POPL'90, 125-135, ACM Press, 1990.
14. W.R. Cook. A Denotational Semantics of Inheritance. Ph.D. Thesis, Brown University, 1989.
15. M.J. Dickinson. Typed Object-Oriented Prototyping. M.SC. Thesis, Imperial College, 1997.
16. K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, 1(1):3-37, 1994.
17. K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In FCT'95, LNCS 965, 42-61, Springer-Verlag, 1995.
18. A. Goldberg and D. Robson. Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983.
19. R. Harper, F. Honsell, and G. Plotkin. A Framework for Defining Logics. J.ACM, 40(1):143-184, 1993.
20. L. Liquori. An Extended Theory of Primitive Objects: First Order System. In ECOOP'97, LNCS 1241, 146-169, Springer-Verlag, 1997.
21. L. Liquori and B. Castagna. A Typed Lambda Calculus of Objects. In Asian'96, LNCS 1179, 129-141, Springer-Verlag, 1996.
22. D. Knuth and P. Bendix, Simple Word Problems in Universal Algebras. In Computational Problems in Universal Algebras, 263-297, Pergamon Press, 1970.
23. J. McKinna and R. Pollack. Pure Type Systems Formalized. In TLCA '93, LNCS 664, 289-305, Springer-Verlag, 1993.
24. D. Rémy. From Classes to Objects via Subtyping. In ESOP'98, LNCS 1381, 200-220, Springer-Verlag, 1998.
25. D. Ungar and R. B. Smith. Self: the Power of Simplicity. In OOPSLA'87, 227-241, ACM Press, 1987.
26. M. Wand. Complete Type Inference for Simple Objects. In LICS'87, 37-44, IEEE Press, 1987.