The recursive record semantics of objects revisited

Journal of Functional Programming

Volumn 14, Issue 3, 2004, Pages 263-315

  Boudol, Gérard ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CLASS-BASED MODEL; OBJECT ORIENTED STYLE; RECURSIVE RECORD SEMANTICS;

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA RECORDING; DECISION MAKING; ENCAPSULATION; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

SEMANTICS;

EID: 2342510226     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796803004775     Document Type: Article

References (55)

1. Abadi, M. (1994) Baby Modula-3 and a theory of objects. J. Functional Program. 4(2), 249-283.
2. Abadi, M. and Cardelli, L. (1996) A Theory of Objects. Springer-Verlag.
3. Ancona, D. and Zucca, E. (1998) A theory of mixin modules: basic and derived operators. Math. Struct. Comput. Sci. 8, 401-446.
4. Bono, V., Patel, A., Shmatikov, V. and Mitchell, J. (1999a) A core calculus of classes and objects. MFPS'99, Electronic Notes in Computer Science 20. Springer-Verlag.
5. Bono, V., Patel, A., Shmatikov, V. and Mitchell, J. (1999b) A core calculus of classes and mixins. ECOOP'99, Lecture Notes in Computer Science 1628, pp. 43-66. Springer-Verlag.
6. Boudol, G. (2001) The recursive record semantics of objects revisited (extended abstract). ESOP 2001, Lecture Notes in Computer Science 2028, pp. 269-283. Springer-Verlag.
7. Boudol, G. and Zimmer, P. (2002) Recursion in the call-by-value lambda-calculus. Submitted.
8. Bracha, G. and Cook, W. (1990) Mixin-based inheritance. ECOOP/OOPSM'90, pp. 303-311.
9. Bracha, G. (1992) The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD Thesis, The University of Utah.
10. Bruce, K. (1993) Safe type checking in a statically-typed object-oriented programming language. POPL'93, pp. 285-298.
11. Bruce, K., Petersen, L. and Fiech, A. (1997) Subtyping is not a good "match" for object-oriented languages. ECOOP'97: Lecture Notes in Computer Science 1241, pp. 104-127. Springer-Verlag.
12. Cardelli, L. (1984) A semantics of multiple inheritance. Semantics of Data Types: Lecture Notes in Computer Science 173, pp. 51-67. (Also published in Infor. & Computation, 76 (1988).)
13. Cardelli, L. and Mitchell, J. (1994) Operations on records. In: Gunter, C. and Mitchell, M (editors), Theoretical Aspects of Object-Oriented Programming, pp. 295-350. MIT Press.
14. Cook, W. and Palsberg, J. (1989) A denotational semantics of inheritance and its correctness. OOPSLA'89, ACM SIGPLAN Notices, 24(10), 433-443.
15. Cook, W., Hill, W. and Canning, P. (1994) Inheritance is not subtyping. In: Gunter, C. and Mitchell, M (editors), Theoretical Aspects of Object-Oriented Programming, pp. 497-517. MIT Press.
16. Crary, K., Harper, R. and Puri, S. (1999) What is a recursive module? PLDI'99, pp. 50-63.
17. Damas, L. and Milner, R. (1982) Principal type-schemes for functional programs. POPL'82, pp. 207-212.
18. Eifrig, J., Smith, S., Trifonov, V. and Zwarico, A. (1995a) An interpretation of typed OOP in a langage with state. LISP & Symbolic Comput. 8, 357-397.
19. Eifrig, J., Smith, S. and Trifonov, V. (1995b) Sound polymorphic type inference for objects. OOPSLA'95, ACM SIGPLAN Notices, 30(10), 169-184.
20. Fisher, K. (1996) Types Systems for Object-Oriented Programming Languages. PhD Thesis, Stanford University.
21. Fisher, K., Honsell, F. and Mitchell, J. (1993) A lambda calculus of objects and method specialization. LICS'93, pp. 26-38.
22. Fisher, K. and Mitchell, J. (1995) The development of type systems for object-oriented languages. Theory & Practice of Object Systems, 1(3), 189-220.
23. Flatt, M., Krishnamurthi, S. and Felleisen, M. (1998) Classes and Mixins. POPL'98, pp. 171-183.
24. Gamma, E., Helm, R., Johnson, R. and Vlissides, J. (1994) Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley.
25. Gunter, C. and Mitchell, J. (1994) Theoretical Aspects of Object-Oriented Programming. MIT Press.
26. Harper, R. and Pierce, B. (1991) A record calculus based on symmetric concatenation. POPL'91, pp. 131-142.
27. Hirschowitz, T. and Leroy, X. (2002) Mixin modules in a call-by-value setting. ESOP'02: Lecture Notes in Computer Science 2305, pp. 6-20. Springer-Verlag.
28. Jategaonkar, L. and Mitchell, J. (1993) Type inference with extended pattern matching and subtypes. Fundamenta Informaticae, 19, 127-166.
29. Jouannaud, J.-P. and Kirchner, Cl. (1991) Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. In: Lassez, J.-L. and Plotkin, G. (editors), Computational Logic, Essays in Honor of A. Robinson, pp. 257-321. MIT Press.
30. Kamin, S. (1988) Inheritance in SMALLTALK-SU: a denotational definition. POPL'88, pp. 80-87.
31. Leroy, X., Doligez, D., Garrigue, J., Rémy, D. and Vouillon, J. (2000) The Objective Caml System, release 3.00. Documentation and user's manual, available http://caml.inria.fr (regularly updated).
32. Madsen, O. and Møller Pedersen, B. (1989) Virtual Classes: A powerful mechanism in object-oriented programming. OOPSLA'89, ACM SIGPLAN Notices, 24(10), 397-406.
33. Martelli, A. and Montanari, U. (1982) An efficient unification algorithm. ACM TOPLAS, 4(2), 258-282.
34. MacQueen, D. (2002) Should ML be object-oriented? Formal Aspects Comput. 13(3-5), 214-232.
35. Meyer, B. (1986) Genericity versus inheritance. OOPSLA'86, ACM SIGPLAN Notices, 21(11), 391-405.
36. Milner, R. (1978) A theory of type polymorphism in programming. J. Comput. & System Sci. 17, 348-375.
37. Milner, R., Tofte, M., Harper, R. and MacQueen, D. (1997) The Definition of Standard ML (revised). MIT Press.
38. Ohori, A. and Buneman, P. (1994) Static type inference for parametric classes. In: Gunter, C. and Mitchell, M (editors), Theoretical Aspects of Object-Oriented Programming, pp. 121-147. MIT Press.
39. Palsberg, J. (1995) Efficient inference of object types. Infor. & Computation, 123(2), 198-209.
40. Palsberg, J. and Jim, T. (1997) Type inference with simple selftypes is NP-complete. Nordic J. Comput. 4(3), 259-286.
41. Pierce, B. and Turner, D. (1994) Simple type-theoretic foundations for object-oriented programming. J. Functional Program. 4(2), 207-247.
42. Reddy, U. (1988) Objects as closures: abstract semantics of object-oriented languages. ACM Symposium on LISP and Functional Programming, pp. 289-297.
43. Rémy, D. (1994a) Programming with ML-ART: an extension to ML with abstract and record types. TACS'94: Lecture Notes in Computer Science 789, pp. 321-346. Springer-Verlag.
44. Rémy, D. (1994b) Type inference for records in a natural extension of ML. In: Gunter, C. and Mitchell, M. (editors), Theoretical Aspects of Object-Oriented Programming, pp. 67-95. MIT Press.
45. Rémy, R. (1994c) Typing record concatenation for free. In: Gunter, C. and Mitchell, M. (editors), Theoretical Aspects of Object-Oriented Programming, pp. 351-372. MIT Press.
46. Rémy, D. and Vouillon, J. (1998) Objective ML: an effective object-oriented extension of ML. Theory & Practice of Objects Syst. 4(1), 27-50.
47. Reppy, J. and Riecke, J. (1996) Simple objects for Standard ML. PLDI'96, pp. 171-180.
48. Snyder, A. (1986a) CommonObjects: an overview. ACM SIGPLAN Notices, 21(10), 19-28.
49. Snyder, A. (1986b) Encapsulation and inheritance in object-oriented programming languages. OOPSLA'86, ACM SIGPLAN Notices, 21(11), 38-45.
50. Taivalsaari, A. (1996) On the notion of inheritance. ACM Comput. Surv. 28(3), 438-479.
51. Wand, M. (1987) Complete type inference for simple objects. LICS'87, pp. 37-44.
52. Wand, W. (1991) Type inference for record concatenation and multiple inheritance. Infor. & Computation, 93(1), 1-15.
53. Wand, M. (1994) Type inference for objects with instance variables and inheritance. In: Gunter, C. and Mitchell, M (editors), Theoretical Aspects of Object-Oriented Programming, pp. 97-120. MIT Press.
54. Wright, A. (1995) Simple imperative polymorphism. LISP & Symbolic Comput. 8, 343-355.
55. Wright, A. and Felleisen, M. (1994) A syntactic approach to type soundness. Infor. & Computation, 115(1), 38-94.