Skip to main content
SpringerLink
Log in

Amber

  • Conference paper
  • First Online:
Combinators and Functional Programming Languages (LITP 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 242))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: a strongly typed, interactive conceptual language. To appear in Transactions on Database Systems.

    Google Scholar 

  2. Apple Computer: Inside Macintosh. Macintosh Publications, 1984.

    Google Scholar 

  3. Malcolm Atkinson: An approach to persistent programming. The Computer Journal 26, 4, pp. 360–365, 1983.

    Google Scholar 

  4. Rod Burstall, Butler Lampson: A kernel language for modules and abstract data types. Report n. 1, DEC Systems Research Center, 1984.

    Google Scholar 

  5. Luca Cardelli: Compiling a Functional Language. Proc. 1984 ACM Symposium on Lisp and Functional Programming, Austin, Texas, August 1984.

    Google Scholar 

  6. 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. O. Dahl, K. Nygaard: Simula, an Algol-based simulation language. Comm. ACM vol 9, pp. 671–678, 1966.

    Google Scholar 

  8. Adele Goldberg: Smalltalk 80, the language and its implementation. Addison Wesley 1983.

    Google Scholar 

  9. Mike Gordon: Adding Eval to ML. Private communication (about dynamic types).

    Google Scholar 

  10. INMOS Ltd.: occam programming manual. Prentice Hall, 1984.

    Google Scholar 

  11. David MacQueen: Modules for Standard ML. Proc. of the 1984 ACM symposium on Lisp and Functional Programming.

    Google Scholar 

  12. Robin Milner: A theory of type polymorphism in programming. Journal of Computer and Systam Sciences 17, pp.348–375, 1978.

    Google Scholar 

  13. Robin Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science, n. 92, Springer-Verlag, 1980.

    Google Scholar 

  14. Robin Milner: A proposal for Standard ML. Proc. of the 1984 ACM symposium on Lisp and Functional Programming.

    Google Scholar 

  15. Alan Mycroft: Private communication (about dynamic types).

    Google Scholar 

  16. Niklaus Wirth: Programming in Modula-2. Texts and Monographs in Computer Science, Springer-Verlag, 1983.

    Google Scholar 

Download references

Author information

Author notes

  1. Luca Cardelli

    Present address: DEC SRC, 130 Lytton Ave, 94301, Palo Alto, CA

Authors and Affiliations

  1. AT&T Bell Laboratories, 07974, Murray Hill, NJ

    Luca Cardelli

Authors
  1. Luca Cardelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cousineau Pierre-Louis Curien Bernard Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cardelli, L. (1986). Amber. In: Cousineau, G., Curien, PL., Robinet, B. (eds) Combinators and Functional Programming Languages. LITP 1985. Lecture Notes in Computer Science, vol 242. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17184-3_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-17184-3_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17184-3

  • Online ISBN: 978-3-540-47253-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation