Qual principio di programmazione garantisce l'uso dei generici?