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. . ["The Cecil Language: Specification and Rationale", C. ChamBers, TR 93-03-05, U Wash (Mar 1993)]. (1994-10-28)