The recursive record semantics of objects revisited

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

Volumn 2028, Issue , 2001, Pages 269-283

  Boudol, Gérard ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

EXPRESSIVE POWER; EXTENSIBLE RECORDS; FIXPOINTS; RECURSIONS; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 23044527232     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45309-1_18     Document Type: Conference Paper

References (32)

1. M. ABADI, L. CARDELLI, A Theory of Objects, Springer-Verlag (1996).
2. D. ANCONA, E. ZUCCA, A theory of mixin modules: basic and derived operators, Math: Struct: in Comput: Sci: Vol: 8 (1998) 401-446.
3. V. BONO, A. PATEL, V. SHMATIKOV, J. MITCHELL, A core calculus of classes and objects, MFPS’99, Electronic Notes in Comput: Sci: Vol: 20 (1999).
4. V. BONO, A. PATEL, V. SHMATIKOV, J. MITCHELL, A core calculus of classes and mixins, ECOOP’99, Lecture Notes in Comput: Sci: 1628 (1999) 43-66.
5. G. BRACHA, W. COOK, Mixin-based inheritance, ECOOP/OOPSLA’90 (1990) 303-311.
6. K. BRUCE, Safe type checking in a statically-typed object-oriented programming language, POPL’93 (1993) 285-298.
7. K. BRUCE, L. PETERSEN, A. FIECH, Subtyping is not a good “match” for object- oriented languages, ECOOP’97, Lecture Notes in Comput: Sci: 1241 (1997) 104-127.
8. L. CARDELLI, A semantics of multiple inheritance, Semantics of Data Types, Lecture Notes in Comput: Sci: 173 (1984) 51-67: Also published in Information and Computation, Vol: 76 (1988).
9. L. CARDELLI, J.C. MITCHELL, Operations on records, in [18], 295-350.
10. W. COOK, J. PALSBERG, A denotational semantics of inheritance and its correctness, OOPSLA’89, ACM SIGPLAN Notices Vol. 24 No. 10 (1989) 433-443.
11. W. COOK, W. HILL, P. CANNING, Inheritance is not subtyping, in [18], 497-517.
12. L. DAMAS, R MILNER, Principal type-schemes for functional programs, POPL’82 (1982) 207-212.
13. J. EIFRIG, S. SMITH, V. TRIFONOV, A. ZWARICO, An interpretation of typed OOP in a langage with state, LISP and Symbolic Computation Vol. 8 (1995) 357-397.
14. K. FISHER, Types Systems for Object-Oriented Programming Languages, PhD Thesis, Stanford University (1996).
15. K. FISHER, F. HONSELL, J. MITCHELL, A lambda calculus of objects and method specialization, LICS’93 (1993) 26-38.
16. K. FISHER, J. MITCHELL, The development of type systems for object-oriented languages, Theory and Practice of Object Systems Vol. 1, No. 3 (1996) 189-220.
17. M. FLATT, S. KRISHNAMURTHI, M. FELLEISEN, Classes and Mixins, POPL’98 (1998) 171-183.
18. C. GUNTER, J. MITCHELL (Eds.), Theoretical Aspects of Object-Oriented Programming, The MIT Press (1994).
19. L.A. JATEGAONKAR, J. MITCHELL, Type inference with extended pattern matching and subtypes, Fundamenta Informaticae Vol. 19 (1993) 127-166.
20. S. KAMIN, Inheritance in SMALLTALK-80: a denotational definition, POPL’88 (1988) 80-87.
21. X. LEROY, D. DOLIGEZ, J. GARRIGUE, D. REMY, J. VOUILLON, The Objective Caml System, release 3.00, Documentation and user’s manual, available at http://caml.inria.fr (2000).
22. O.L. MADSEN, B. MOLLER PEDERSEN, Virtual Classes: A powerful mechanism in object-oriented programming, OOPSLA’89, ACM SIGPLAN Notices Vol. 24 No. 10 (1989) 397-406.
23. B. MEYER, Genericity versus inheritance, OOPSLA’86, ACM SIGPLAN Notices Vol. 21 No. 11 (1986) 391-405.
24. R MILNER, A theory of type polymorphism in programming, J. of Computer and System Sciences Vol. 17 (1978) 348-375.
25. B. C. PIERCE, D. TURNER, Simple type-theoretic foundations for object-oriented programming, J. of Functional Programming Vol. 4 No. 2 (1994) 207-247.
26. D. REMY, Programming with ML-ART: an extension to ML with abstract and record types, TACS’94, Lecture Notes in Comput. Sci. 789 (1994) 321-346.
27. D. REMY, J. VOUILLON, Objective ML: an effective object-oriented extension of ML, Theory and practice of Objects Systems, Vol. 4, No. 1 (1998) 27-50.
28. A. SNYDER, Encapsulation and inheritance in object-oriented programming languages, OOPSLA’86, ACM SIGPLAN Notices Vol. 21 No. 11 (1986) 38-45.
29. A. TAIVALSAARI, On the notion of inheritance, ACM Computing Surveys Vol. 28 No. 3 (1996) 438-479.
30. M. WAND, Complete type inference for simple objects, LICS’87 (1987) 37-44.
31. M. WAND, Type inference for objects with instance variables and inheritance, in [18], 97-120.
32. A. WRIGHT, M. FELLEISEN, A syntactic approach to type soundness, Information and Computation Vol. 115 No. 1 (1994) 38-94.