[S2] ================================================ AMAST Links 02 06

                    WWW page on a Theory of Objects
                    Martin Abadi and Luca Cardelli

  We would like to announce a web page collecting our recent papers on
a theory of objects at URL:
   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.