typing discipline

specifies the typing discipline implemented, used, or mandated in a programming language