Technical Reports (CIS)


Didier Rémy

Document Type

Technical Report

Date of this Version

October 1990


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-90-73.


We describe an extension of ML with records where inheritance is given by ML generic polymorphism. All operations on records introduced by Wand in [Wan87] are supported, in particular the unrestricted extension of a field, and other operations such as renaming of fields are added. The solution relies on both an extension of ML, where the language of types is sorted and considered modulo equations [Rem9Ob], and on a record extension of types [Rem9Oc]. The solution is simple and modular and the type inference algorithm is efficient in practice.



Date Posted: 12 October 2007