Aldor

Paradigms	logic programming, functional programming, imperative programming, object-oriented programming
Typing discipline	static typing, dependent type
First appeared	1990
Developer	IBM Thomas J. Watson Research Center
Type	programming language, computer algebra system, object-based language
Influenced by	Haskell, Pascal
Website	aldor.org
Operating systems	Linux