Otra clasificación agrupa los polimorfismo en dos tipos: Ad-Hoc que incluye a su vez sobrecarga de operadores y coerción, "Universal" (inclusión o controlado por la herencia, paramétrico o genericidad).