Statically-typed programming language
Redirect to:
Type system#Static typing