CSP-like concurrency, multiple inheritance and persistence to ML and generalises its type system. It is similar to Galileo. Programs must be written in two type faces, roman and italics! It has both static types and dynamic types.
There is an implementation for Macintosh.
["Amber", L. Cardelli, TR Bell Labs, 1984].