Obliq

Paradigms	object-oriented programming, prototype-based programming, structured programming, parallel computing, imperative programming, modular programming
Typing discipline	dynamic typing, strong typing
First appeared	1993
Type	programming language