Parametric polymorphism in OBJ-3

This paper describes the modular polymorphic functional programming language OBJ-P. OBJ-P is an extension of OBJ-3 as OBJ-P allows parametric polymorphism for first-order types in the sense of the Hindley-Milner type system. In this paper we give an overview of the language and present in two program examples the polynomial ring operands sum and product. These examples show the special features of OBJ-P and how to use the features overloading, subtyping (wrt. set inclusion), and parametric polymorphism at the same time. (orig.)Available from TIB Hannover: RR 4367(97-2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman