Cecil
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.
(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)].