Agora
OO prototype-based, reflective language, based on only message passing, a key trait of OO languages; it allows late-binding polymorphism, the key trait making possible incremental modifying of programs. Descriptions, papers, implementations: Smalltalk, C++, Java, Scheme; MiniMix.