AN object-oriented language combining multi-method s 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)].
(1994-10-28)