Abel - HP Labs. Strongly-typed object-oriented language with contravariant
semantics. Inherited interfaces are not required to be subtypes.
info: Walter Hill
Abel Programming Language
http://www.programming-languages.co.uk/abel.html
Large list of computer programming languages arranged alphabetically, with explanations.