Common Language Runtime
Its influence lives on in various other systems however; the CORBA type codice_1 is distinctly recognisable in Napier88's type codice_1; Microsoft's Common Language Runtime (CLR) uses a similar polymorphic architecture, and Java's parametric types solve some of the same problems of uninstantiated types escaping from their static scope.