AN
object-oriented language combining multi-methods with a
classless object model, object-based
encapsulation and
optional static type checking. It distinguishes between
subtyping and code inheritance. Includes both explicit
and implicit parameterisation of objects, types, and methods.
ftp://cs.washington.edu/pub/chambers/cecil-spec.ps.Z.
["The Cecil Language: Specification and Rationale",
C. Chambers, TR 93-03-05, U Wash (Mar 1993)].