Strongly typed programming language

Summary