Draco

Paradigms	imperative programming, procedural programming, structured programming
Typing discipline	manifest typing, static typing, strong typing
Type	programming language
Influenced by	Pascal