Extending record typing to type parametric modules with sharing

Maria Virginia Aponte 1
1 FORMEL
INRIA Rocquencourt
Abstract : 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.
Type de document :
Rapport
[Research Report] RR-1905, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074768
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:16:11
Dernière modification le : vendredi 16 septembre 2016 - 15:11:17
Document(s) archivé(s) le : mardi 12 avril 2011 - 19:15:20

Fichiers

Identifiants

  • HAL Id : inria-00074768, version 1

Collections

Citation

Maria Virginia Aponte. Extending record typing to type parametric modules with sharing. [Research Report] RR-1905, INRIA. 1993. 〈inria-00074768〉

Partager

Métriques

Consultations de la notice

115

Téléchargements de fichiers

58