polymorphic programming
1.The Implementation of Polymorphic Many-sorted Type System for the Compiler of Programming Language G?del(Chief Report)
2.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.
