A Theory of Primitive Objects: Untyped and First-Order Systems

Information and Computation

Volumn 125, Issue 2, 1996, Pages 78-102

  Abadi, Martín ^a   Cardelli, Luca ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002766841     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1996.0024     Document Type: Article

References (21)

1. Abadi, M. (1994), Baby Modula-3 and a theory of objects, J. Funct. Programming 4 (2), 249-283.
2. Abadi, M., and Cardelli, L. (1994), A semantics of object types, in "Proceedings IEEE Symposium on Logic in Computer Science," pp. 332-341.
3. Abadi, M., and Cardelli, L. (1994), A theory of primitive objects: Second-order systems, in "Proceedings ESOP'94 - European Symposium on Programming," Springer-Verlag, Berlin/New York.
4. Abadi, M., and Cardelli, L. (1995), An imperative object calculus, in "Proceedings TAPSOFT'95," pp. 471-485, Springer-Verlag, Berlin/New York.
5. Abadi, M., Cardelli, L., Pierce, B., and Plotkin, G. D. (1991), Dynamic typing in a statically typed language, ACM Trans. Programming Languages Systems 13 (2), 237-268.
6. Amadio, R. M., and Cardelli, L. (1993), Subtyping recursive types, ACM Trans. Programming, Languages Systems 15 (4), 575-631.
7. Barendregt, H. P. (1985), "The Lambda-Calculus, Its Syntax and Semantics, North-Holland, Amsterdam.
8. Bruce, K. B. (1994), A paradigmatic object-oriented programming language: Design, static typing and semantics, J. Funct. Programming 4 (2), 127-206.
9. Cardelli, L. (1988), A semantics of multiple inheritance, Inform. and Comput. 76, 138-164.
10. Cardelli, L. (1994), Extensible records in a pure calculus of subtyping, in "Theoretical Aspects of Object-Oriented Programming" (C. A. Gunter and J. C. Mitchell, Eds.), pp. 373-425, MIT Press, Cambridge, MA.
11. Cardelli, L. and Mitchell, J. C. (1994), Operations on records, in "Theoretical Aspects of Object-Oriented Programming" (C. A. Gunter and J. C. Mitchell, Eds.), pp. 295-350, MIT Press, Cambridge, MA.
12. Cook, W. R. (1989), "A Denotational Semantics of Inheritance," Ph.D. Thesis, Computer Science Dept., Brown University.
13. Hofmann, M., and Pierce, B. C. (1994), A unifying type-theoretic framework for objects, in "Proceedings, Symposium on Theoretical Aspects of Computer Science."
14. Kamin, S. N. (1988), Inheritance in Smalltalk-80: A denotational definition, in "Proceedings 15th Annual ACM Symposium on Principles of Programming Languages," pp. 80-87.
15. Mitchell, J. C. (1990), Toward a typed foundation for method specialization and inheritance, in "Proceedings 17th Annual ACM Symposium on Principles of Programming Languages," pp. 109-124.
16. Mitchell, J. C., Honsell, F., and Fisher, K. (1993), A lambda calculus of objects and method specialization, in "Proceedings 8th Annual IEEE Symposium on Logic in Computer Science."
17. Nelson, G., Ed. (1991), "Systems Programming with Modula-3," Prentice-Hall, New York.
18. Palsberg, J. (1994), Efficient inference for object types, in "Proceedings 9th Annual IEEE Symposium on Logic in Computer Science," pp. 186-195.
19. Pierce, B. C., and Turner, D. N. (1994), Simple type-theoretic foundations for object-oriented programming, J. Funct. Programming 4 (2), 207-247.
20. Wadsworth, C. (1980), Some unusual λ-calculus numeral systems, in "To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism" (J. P. Seldin and J. R. Hindley, Eds.), Academic Press, San Diego.
21. Wand, M. (1987), Complete type inference for simple objects, in "Proceedings 2nd Annual IEEE Symposium on Logic in Computer Science," pp. 37-44.