http://en.wikipedia.org/wiki/Subtype_polymorphism
http://en.wikipedia.org/wiki/Dynamic_dispatch
Polymorphism is a feature of the type system, and thus inherently static. Dynamic dispatch is something you often wind up with as a consequence of subtyping, but neither requires the other, strictly speaking.