Categories: Programming languages | Object-oriented programming languages
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 .
