A Uma possível forma de implementar polimorfismo em uma linguagem de programação é através do polimorfismo universal paramétrico, em que a conversão de tipos sobre os parâmetros de uma função se dá implicitamente.
B Linguagens de programação que implementem o conceito de herança também precisam implementar o conceito de polimorfismo por construção.
C A implementação de polimorfismo em linguagens de programação se vale do conceito de ligação tardia, em que o tipo de uma variável só é conhecido em tempo de execução. Isso significa que linguagens compiladas não possuem polimorfismo na forma estrita.
D Polimorfismo representa um conceito em que um mesmo nome (como uma variável, por exemplo) pode denotar objetos de diferentes classes que estão relacionadas por uma superclasse comum.
E Linguagens de programação que não possuem tipo, como, por exemplo, Smalltalk não podem implementar polimorfismo.