A Lambda Calculus of Objects with Self-Inflicted Extension

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 10, 1998, Pages 166-176

  Di Gianantonio, Pietro ^a   Honsell, Furio ^a   Liquori, Luigi ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0006263849     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/286942.286955     Document Type: Article

References (25)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. G. Bellè. Some Remarks on Lambda Calculus of Objects. Technical report, Dipartimento di Matematica ed Informatica, Università di Udine, 1994.
3. V. Bono and M. Bugliesi. Matching Constraints for the Lambda Calculus of Objects. In Proc. of TLCA, volume 1210 of Lecture Notes in Computer Science, pages 46-62. Springer-Verlag, 1997.
4. V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constraint for Incomplete Objects. In Proc. of TAPSOFT/CAAP, volume 1214 of Lecture Notes in Computer Science, pages 465-477. Springer-Verlag, 1997.
5. V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In Proc. of MFCS, volume 1113 of Lecture Notes in Computer Science, pages 218-229. Springer-Verlag, 1996.
6. V. Bono and K. Fisher. An Imperative. First-Order Calculus with Object Extension. In Proc. of ECOOP, Lecture Notes in Computer Science. Springer-Verlag, 1998. To appear.
7. V. Bono and L. Liquori. A Subtyping for the Fisher- Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL, volume 933 of Lecture Notes in Computer Science, pages 16-30. Springer-Verlag, 1995.
8. K. Bruce, L. Cardelli, G. Castagna, The Hopkins Object Group, G. Leavens, and B. Pierce. On Binary Methods. Theory and Practice of Object Systems, 1(3), 1996.
9. K. Bruce, L Cardelli, and C. B. Pierce. Comparing Object Encoding. In Proc. of TACS, Lecture Notes in Computer Science. Springer-Verlag, 1997.
10. K. Bruce, L. Petersen, and A. Fiech. Subtyping Is Not a Good "Match" for Object-Oriented Languages. In Proc. of ECOOP, volume 1241 of Lecture Notes in Computer Science, pages 104-127. Springer-Verlag, 1997.
11. K.B. Bruce. A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. Journal of Functional Programming, 4(2):127-206, 1994.
12. L. Cardelli. A Language with Distributed Scope. Computing System, 8(1):27-59, 1995.
13. G. Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431-447, 1995.
14. G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkäuser, Boston, 1996.
15. K. Fisher. Type System for Object-Oriented Programming Languages. PhD thesis, University of Stanford, August 1996.
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. Michell. Notes on Typed Object- Oriented Programming. In Proc. of TACS, volume 789 of Lecture Notes in Computer Science, pages 844-885. Springer-Verlag, 1994.
18. K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT, volume 965 of Lecture Notes in Computer Science, pages 42-61. Springer-Verlag, 1995.
19. K. Fisher and J. C. Mitchell. On the relationship between classes, objects, and data abstraction. Theory and Practice of Object Systems, 1998. To appear.
20. L. Liquori. An Extended Theory of Primitive Objects: First Order System. In Proc. of ECOOP, volume 1241 of Lecture Notes in Computer Science, pages 146-169. Springer-Verlag, 1997.
21. P. Paladin. Teoremi di Congruenza per Lambda-Calcoli Orientati agli Oggetti. Master's thesis, Dipartimento di Matematica ed Informatica, Università di Udine, 1993. In Italian.
22. Gordon Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Denmark, 1981.
23. D. Rémy. From classes to objects via subtyping. In Proc. of European Symposium on Programming, volume 1381 of lncs. springer, 1998.
24. J.G. Riecke and C. Stone. Privacy via Subsumption. In Electronic proceedings of FOOL-98, 1998.
25. M. Wand. Complete Type Inference for Simple Objects. In Proc. of LICS, pages 37-44. IEEE Press, 1987.