Type inference for records in a natural extension of ML Export

@techreport{citeulike:1628537, abstract = {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...}, author = {R\'{e}my, Didier}, citeulike-article-id = {1628537}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/remy91type.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/remy91type.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/remy91type.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/remy91type.html}, keywords = {pl, records, types}, number = {RR-1431}, posted-at = {2007-09-06 23:22:29}, priority = {0}, title = {Type inference for records in a natural extension of ML}, url = {http://citeseer.ist.psu.edu/remy91type.html} }

TY - RPRT ID - citeulike:1628537 L3 - citeulike-article-id:1628537 N2 - 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... IS - RR-1431 TI - Type inference for records in a natural extension of ML KW - pl KW - records KW - types AU - Rémy, Didier UR - http://citeseer.ist.psu.edu/remy91type.html ER -