Dynamic genericity in imperative languages: example in CML

Genericity, a form of polymorphism, is implemented through generic abstract data types (GADTs) generators in most modern programming languages. The GADTs are used for both compile time (static) and run time (dynamic) instantiations of concrete abstract data types. The paper introduces the implementation of a new approach to dynamic genericity which utilizes the polymorphic GADT feature in a secure, efficient, and powerful way for the first time in a newly developed imperative programming language, Contour Model Language (CML).<
>