Abel Programming Language

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 .

Information About