Sejam as seguintes assertivas sobre programação orientadas a objetos:

I. O polimorfismo é a capacidade de um tipo A aparecer, ou ser usado, como outro tipo B. Em linguagens fortemente tipadas, como Java, A deve ser derivado do tipo B ou implementar uma interface que representa o tipo B.

II. Para implementar o polimorfismo, utiliza-se uma técnica chamada de amarração antecipada, onde a chamada de um método é resolvida em tempo de compilação/linkedição.

III. Sobrecarga de método é capacidade de métodos distintos de uma mesma classe possuírem o mesmo nome, mas parâmetros diferentes.

Marque a alternativa correta em relação às assertivas acima.