Le modèle fondé sur la surcharge : une visite guidée

La majeure partie de la recherche sur l'etude et la verification des types dans la programmation orientee objets utilise comme idee de depart le modele a enregistrements defini par Cardelli en 1984. Dans cet article nous decrivons de maniere informelle un modele alternatif au modele a enregistrements, base sur une forme speciale de surcharge. Cet article propose un tour d'horizon du modele, de plusieurs resultats deja publies sur ce modele et, surtout, des idees intuitives sous-jacentes.