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)