Abstract: The data type is an important concept in the programming languages design.Based on the argument of Milner's polymorphic type system,this paper presents a parametric type system which treats types as first-class objects,and provides dynamic type checking for this system.

Key words: programming language, parametric type, data type, type checking, polymorphism