Subtyping constraints for incomplete objects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1214, Issue , 1997, Pages 465-477

  Bono, Viviana ^a   Bugliesi, Michele ^b   Dezani Ciancaglini, Mariangiola ^a   Liquori, Luigi ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES;

BOUNDED QUANTIFICATION; DIRECT RENDERINGS; LAMBDA CALCULUS; STATIC DETECTIONS; SUBTYPINGS; TYPE SYSTEMS; TYPE-SPECIALIZATION;

SOFTWARE DESIGN;

EID: 84956995338     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030619     Document Type: Conference Paper

References (22)

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. Springer-Verlag, 1997. To appear.
5. V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constralnts for Incomplete Objects. Technical Report CS-34-97, Computer Science Department, Turin University, 1996.
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 and J.C. Mitchell. Operations on Records. Mathematical Structures in Computer Sciences, 1(1):3-48, 1991.
11. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction and Polymorphism. Computing Surveys, 17(4):471-522, 1985.
12. W. Cook, W. Hill, and P. Canning. Inheritance is not Subtyping. In POPL’90, 125-135. ACM Press, 1990.
13. W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
14. 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.
15. K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In FCT’95, LNCS 965, 42-61. Springer-Verlag, 1995.
16. A. Goldberg and D. Robson. Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983.
17. R. Harper, F. Honsell, and G. Plotldn. A Framework for Defining Logics. J.ACM, 40(1):143-184, 1993.
18. L. Liquori. An Extended Theory of Primitive Objects. Technical Report CS-23-96, Computer Science Department, Turin University, 1996.
19. L. Liquori and B. Castagna. A Typed Lambda Calculus of Objects. In Asian’96, LNCS 1179, 129-141. Springer-Verlag, 1996.
20. D. Rémy. Refined Subtyping and Row Variables for Record Types. Draft, 1995.
21. D. Ungar and R. B. Smith. Self: the Power of Simplicity. In OOPSLA ‘87, 227-241. ACM Press, 1987.
22. M. Wand. Complete Type Inference for Simple Objects. In LICS’87, 37-44. Silver Spring, 1987.