Papers on a theory of objects

• To: types@dcs.gla.ac.uk, objecttypes@daimi.aau.dk
• Subject: Papers on a theory of objects
• From: luca@src.dec.com (Luca Cardelli)
• Date: Mon, 5 Jun 1995 15:03:27 -0700
• Approved: types@dcs.gla.ac.uk

We would like to announce a web page collecting our recent papers on a
theory of objects:

http://www.research.digital.com/SRC/personal/Luca_Cardelli/TheoryOfObjects.html

Object calculi are formalisms at the same level of abstraction as lambda
calculi, but based exclusively on objects rather than functions. Unlike
lambda calculi, object calculi are designed specifically for clarifying
features of object-oriented languages. There is a wide spectrum of relevant
object calculi, just as there is a wide spectrum of lambda calculi. We
investigate untyped, simply-typed, and polymorphic calculi, with both
functional and imperative semantics.

Comments are welcome.

    Martin Abadi and Luca Cardelli



o-------------------------------------------------------------------------o
 Luca Cardelli, Digital SRC, 130 Lytton Ave, Palo Alto, CA 94301, USA.
 Tel: (415) 853 2110. Fax: (415) 853 2104. Email: luca@src.dec.com.
 Web: http://www.research.digital.com/SRC/personal/Luca_Cardelli/home.html.

• Prev: garbled paper
• Next: Submissions by e-mail (NEW DEADLINE)
• Index(es):
  • Main
  • Thread