"type checking" -
related articles and key terms
Related terms:
compile time
duck typing
dynamic
programming language
runtime
static
static typing
type system
typed languages
Wikipedia sources:
Duck typing
Type system
Context for words:
type
checking