Type inference for records in a natural extension of ML

We describe an extension of ML with records where inheritance is given by ML generic polymorphism. All common operations on records but concatenation are supported, in particular the free extension of records. Other operations such as renaming of fields are added. The solution relies on an extension of ML, where the language of types is sorted and considered modulo equations, and on a record extension of types. The solution is simple and modular and the type inference algorithm is efficient in practice. Inf'erence de Types pour les Objets Enregistrements dans une Extension Naturelle de ML Abstract Nous pr'esentons une extension de ML avec des objets enregistrements o`u l'h'eritage est obtenu `a partir du polymorphisme g'en'erique de ML. Toutes les op'erations usuelles sur les enregistrements sauf la concat'enation, en particulier la libre extension des enregistrements, sont r'ealis'ees. D'autres op'erations comme le renommage des champs sont ajout'ees. La solution repose sur une extens..