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)