Concept-oriented programming http://conceptoriented.org. Not a language yet but an attempt to generalize OOP. It introduces concepts instead of classes and inclusion instead of inheritance.