The specification that determines how the common language runtime defines, uses, and manages types.