Extending record typing to type parametric modules with sharing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1993

Extending record typing to type parametric modules with sharing

Maria Virginia Aponte

Résumé

We extend term unification techniques used to type extensible records in order to solve the two main typing problems for modules in Standard ML : matching and sharing. We obtain a type system for modules based only on well known unification problems, modulo some equational theories we define. Our formalization is simple and has the elegance of polymorphic type disciplines based on unification. It can be seen as a synthesis of previous work on module and record typing.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1905.pdf (1.1 Mo) Télécharger le fichier

Dates et versions

inria-00074768 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074768 , version 1

Citer

Maria Virginia Aponte. Extending record typing to type parametric modules with sharing. [Research Report] RR-1905, INRIA. 1993. ⟨inria-00074768⟩
74 Consultations
112 Téléchargements

Partager

Gmail Facebook X LinkedIn More