dynamic delegation / use

Craig Chambers chambers at cs.washington.edu
Fri Feb 3 05:36:04 UTC 1995

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

More information about the Self-interest mailing list