Polimorfismo é o princípio pelo qual entidades de tipos diferentes podem ser acessadas por meio de uma mesma interface. Neste contexto, assinale a alternativa que contém todas as afirmações corretas.

I. No polimorfismo paramétrico, um método ou uma classe pode ser escrita genericamente de modo que eles possam lidar com diferentes valores de forma idêntica sem depender de seu tipo.

II. Permite a aplicação do princípio da substituição de Liskov, o qual estabelece que se S é um subtipo de T, então os objetos do tipo T podem ser substituídos pelos objetos de tipo S sem que seja necessário alterar as propriedades do programa.

III. Polimorfismo de inclusão pode ser alcançado somente por meio do relacionamento de generalização (herança.)

IV. O mecanismo de identificar qual método deve ser invocado precisa ser feito em tempo de execução, sendo chamado ligação prematura (early biding).