Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074768
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 4:16:11 PM
Last modification on : Thursday, February 11, 2021 - 2:50:07 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 7:15:20 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

174

Files downloads

320