Entiendo lo que se entiende por enlace de tipo. Por favor, corríjame si estoy equivocado

l enlace @Type es el proceso de 'asociar' una variable declarada a un tipo particular
(Hecho por el compilador).

l enlace @Type se puede clasificar como -
Enlace de tipo estático
Enlace de tipo dinámico

l enlace de tipo estático se puede lograr mediante dos tipos de declaraciones:

http: //sankofa.loc.edu/CHU/WEB/Courses/Cosi350/Ch4/bound.2.gi

Está claro hasta aquí.
Pero ahora, ¿qué es el enlace de tipo dinámico? (no la definición) Sé que significa que una variable está asociada con un 'tipo' durante el tiempo de ejecución,

http: //sankofa.loc.edu/CHU/WEB/Courses/Cosi350/Ch4/bound.3.gi

Cualquier más información al respecto, como -

Por qu Enlace de tipo dinámico? ¿En qué lenguajes de programación está disponible como característica?Cuáles son sus ventajas y desventajas sobre el enlace de tipo estático?

Especificado a través de una declaración de asignación

¿Puede dar más información al respecto? ¿Debería especificarse solo con una declaración de asignación?