Extending record typing to type parametric modules with sharing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

Extending record typing to type parametric modules with sharing

Maria Virginia Aponte

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00074768 , version 1

Cite

Maria Virginia Aponte. Extending record typing to type parametric modules with sharing. [Research Report] RR-1905, INRIA. 1993. ⟨inria-00074768⟩
70 View
105 Download

Share

Gmail Facebook Twitter LinkedIn More