This paper presents a ADT-based functional language which is the functional component of a hybrid language that the authors designed supporting both the functional programming and object -oriented programming, and describes its operational semantics model: polymorphic λ- calculus + algebraic rewriting system = polymorphic λ- rewriting system. Moreover, the Church - Rosser property and strong normalization property of this model are discussed.