A Modular Module SystemReport as inadecuate




A Modular Module System - Download this document for free, or read online. Document in PDF available to download.

1 CRISTAL - Typed programming, modularity and compilation Inria Paris-Rocquencourt

Abstract : A simple implementation of a SML-like module system is presented as a module parameterized by a base language and its type-checker. This demonstrates constructively the applicability of that module system to a wide range of programming languages.

Keywords : SML CAML SHARING CONSTRAINTS FUNCTORS ML MODULE SYSTEMS TYPE SYSTEMS





Author: Xavier Leroy -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents