Cool

Paradigms	object-oriented programming
Typing discipline	static typing, manifest typing, strong typing
First appeared	1996
Type	object-based language, programming language