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)