dynamic delegation / use

[Craig Chambers]

Cecil has a more static object structure, in part to support static type
checking (although I believe a type system rich enough to support some kind
of dynamic inheritance is feasible; Luca Cardelli may already have developed
such a system).  But Cecil does include a more structured kind of dynamic
inheritance, where a class can have dynamic subclasses in a sense.  See my
Predicate Classes paper in ECOOP'93 (or on the Cecil web page).

-- Craig Chambers