ソースっつーかWikiだけど。
http://en.wikipedia.org/wiki/Polymorphism_(computer_science)

英語が嫌って人向けにどうぞ
http://www.nslabs.jp/haskell-poly.rhtml

C++用語で平たく言うと、
Ad-hoc polymorphism　→　オーバーロード
Parametric polymorphism　→　テンプレート
Subtype polymorphism (or inclusion polymorphism)　→　継承