Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
October 1990
Abstract
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.
DownloadDate Posted: 12 October 2007
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-90-73.