Abel (programming language)

From Wikipedia, the free encyclopedia

Abel is an strongly-typed object-oriented programming language with contravariant semantics where subtypes are distinguished from inherited interfaces.

It was created by Walter Hill at HP Labs.