Concise, simple OO language for teaching; and study of semantics of inheritance, and OO languages in denotational style, later became subject of research on type inference systems and abstract machines. [Open Source]