type system (Q865760)
set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules
Language:
other details
aliases typing discipline
description set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules

External Links
(P646) /m/01cc54
(P6366) 20740285