Advertisement

Keywords

Dynamic Object Record Type Type Tile Type Inclusion Dynamic Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Albano 83]
    Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: a strongly typed, interactive conceptual language. To appear in Transactions on Database Systems.Google Scholar
  2. [Apple 84]
    Apple Computer: Inside Macintosh. Macintosh Publications, 1984.Google Scholar
  3. [Atkinson 83]
    Malcolm Atkinson: An approach to persistent programming. The Computer Journal 26, 4, pp. 360–365, 1983.Google Scholar
  4. [Burstall 84]
    Rod Burstall, Butler Lampson: A kernel language for modules and abstract data types. Report n. 1, DEC Systems Research Center, 1984.Google Scholar
  5. [Cardelli 84a]
    Luca Cardelli: Compiling a Functional Language. Proc. 1984 ACM Symposium on Lisp and Functional Programming, Austin, Texas, August 1984.Google Scholar
  6. [Cardelli 84b]
    Luca Cardelli: A semantics of multiple inheritance. In Semantics of Data Types, Lecture Notes in Computer Science, n. 173, 51–67, Springer-Verlag 1984.Google Scholar
  7. [Dahl 66]
    O. Dahl, K. Nygaard: Simula, an Algol-based simulation language. Comm. ACM vol 9, pp. 671–678, 1966.Google Scholar
  8. [Goldberg 83]
    Adele Goldberg: Smalltalk 80, the language and its implementation. Addison Wesley 1983.Google Scholar
  9. [Gordon]
    Mike Gordon: Adding Eval to ML. Private communication (about dynamic types).Google Scholar
  10. [INMOS 84]
    INMOS Ltd.: occam programming manual. Prentice Hall, 1984.Google Scholar
  11. [MacQueen 84]
    David MacQueen: Modules for Standard ML. Proc. of the 1984 ACM symposium on Lisp and Functional Programming.Google Scholar
  12. [Milner 80]
    Robin Milner: A theory of type polymorphism in programming. Journal of Computer and Systam Sciences 17, pp.348–375, 1978.Google Scholar
  13. [Milner 80]
    Robin Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science, n. 92, Springer-Verlag, 1980.Google Scholar
  14. [Milner 84]
    Robin Milner: A proposal for Standard ML. Proc. of the 1984 ACM symposium on Lisp and Functional Programming.Google Scholar
  15. [Mycroft]
    Alan Mycroft: Private communication (about dynamic types).Google Scholar
  16. [Wirth 83]
    Niklaus Wirth: Programming in Modula-2. Texts and Monographs in Computer Science, Springer-Verlag, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Luca Cardelli
    • 1
  1. 1.AT&T Bell LaboratoriesMurray Hill

Personalised recommendations