Cecil

Craig Chambers, University of Washington, 1992

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. It includes both explicit and implicit parameterization of objects, types, and methods.

"The Cecil Language: Specification and Rationale", Craig Chambers, TR 93-03-05, University of Washington (Mar 1993).